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
- Software and Information Technology Engineering Department
- itechsanté - Research Institute for Innovation in Health Technologies
- IMAGIN - laboratory of Innovation and engineering systeMs for Automation and diGitalisatIoN
- LASI - Computer systems architecture laboratory
- LCSec - Cybersecurity Laboratory
- Q-ETS
- École de technologie supérieure
- Escuela Superior Politécnica del Litoral
Research output: Contribution to journal › Journal Article › peer-review