Documents publiés en "2009"

Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement

Aller à : B | H

Nombre de documents: 2

B

Boucheneb, H., & Barkaoui, K. (août 2008). Covering Steps Graphs of Time Petri Nets [Communication écrite]. 10th International Workshop on Verification of Infinite-State Systems (INFINITY 2008), Toronto, Canada. Publié dans Electronic Notes in Theoretical Computer Science, 239. Lien externe

H

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). Lien externe

Liste produite: Wed May 8 03:16:10 2024 EDT.

Pour citer ou exporter	Atom RSS 1.0 RSS 2.0