<  Retour au portail Polytechnique Montréal

Design and Verification of Time-Constrained Workflows With Multi-Level Security

Awatef Hicheur, Kamel Barkaoui et Hanifa Boucheneb

Communication écrite (2009)

Un lien externe est disponible pour ce document
Département: Département de génie informatique et génie logiciel
URL de PolyPublie: https://publications.polymtl.ca/53848/
Nom de la conférence: 2nd IFAC Workshop on Dependable Control of Discrete Systems
Lieu de la conférence: Bari, Italy
Date(s) de la conférence: 2009-06-10 - 2009-06-12
Titre de la revue: IFAC Proceedings Volumes (vol. 42, no 5)
Maison d'édition: Elsevier
DOI: 10.3182/20090610-3-it-4004.00009
URL officielle: https://doi.org/10.3182/20090610-3-it-4004.00009
Date du dépôt: 10 juil. 2023 16:30
Dernière modification: 05 avr. 2024 11:59
Citer en APA 7: Hicheur, A., Barkaoui, K., & Boucheneb, H. (juin 2009). Design and Verification of Time-Constrained Workflows With Multi-Level Security [Communication écrite]. 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, Italy. Publié dans IFAC Proceedings Volumes, 42(5). https://doi.org/10.3182/20090610-3-it-4004.00009

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document