Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Moez Yeddes
Communication écrite (2004)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Renseignements supplémentaires:
Nom historique du département: Département de génie informatique
Département:
Adresse URL de PolyPublie:
Nom de la conférence:
7th Workshop on Discrete Event System (WODES 2004)
Lieu de la conférence:
Reims, France
Date(s) de la conférence:
2004-09-22 - 2004-09-24
Titre de la revue
:
IFAC Proceedings
(
vol.
37
,
no
18
)
Maison d'édition:
Elsevier
URL officielle:
OAI:
oai:publications.polymtl.ca:24993
ORCID
Date du dépôt:
18 avr. 2023 15:19
Dernière modification:
08 oct. 2026 17:25
Citer en APA 7:
Ben Hadj-Alouane, N., Lafrance, S., Lin, F., Mullins, J., & Yeddes, M. (septembre 2004). Discrete event systems approach to the verification of the information flow properties in secure protocols [Communication écrite]. 7th Workshop on Discrete Event System (WODES 2004), Reims, France. Publié dans IFAC Proceedings, 37(18). https://doi.org/10.1016/s1474-6670%2817%2930762-0
Statistiques
Dimensions
