<  Back to the Polytechnique Montréal portal

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

Awatef Hicheur, Kamel Barkaoui and Hanifa Boucheneb

Paper (2009)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/53848/
Conference Title: 2nd IFAC Workshop on Dependable Control of Discrete Systems
Conference Location: Bari, Italy
Conference Date(s): 2009-06-10 - 2009-06-12
Journal Title: IFAC Proceedings Volumes (vol. 42, no. 5)
Publisher: Elsevier
DOI: 10.3182/20090610-3-it-4004.00009
Official URL: https://doi.org/10.3182/20090610-3-it-4004.00009
Date Deposited: 10 Jul 2023 16:30
Last Modified: 25 Sep 2024 16:45
Cite in APA 7: Hicheur, A., Barkaoui, K., & Boucheneb, H. (2009, June). Design and Verification of Time-Constrained Workflows With Multi-Level Security [Paper]. 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, Italy. Published in IFAC Proceedings Volumes, 42(5). https://doi.org/10.3182/20090610-3-it-4004.00009

Statistics

Dimensions

Repository Staff Only

View Item View Item