Enforcing Global Usage Constraints in Distributed Systems: A Formal Model of Directed Traceability
- Sion Israel Sion
- , Alain April
- , Kaiwen Zhang
- , Mónica Villavicencio Cabezas
- , Alain Abran
- École de technologie supérieure
- Escuela Superior Politécnica del Litoral
Research output: Contribution to journal › Journal Article › peer-review