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
- Département de génie logiciel et des technologies de l'information
- itechsanté – Institut de recherche et d'innovation en technologies pour la santé
- IMAGIN - Laboratoire d’innovation et d’ingénierie des systèmes pour l’automatisation et la numérisation
- LASI – Laboratoire en architecture de systèmes informatiques
- LCSec - Laboratoire de CyberSécurité
- Q-ETS
- École de technologie supérieure
- Escuela Superior Politécnica del Litoral
Résultats de recherche: Contribution à un journal › Article publié dans une revue, révisé par les pairs › Revue par des pairs