![]() | Up a level |
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). External link