 | Monter d'un niveau |
Barkaoui, K., Ben Ayed, R., Boucheneb, H., & Hicheur, A. (octobre 2008). Verification of workflow processes under multilevel security considerations [Communication écrite]. 3rd International Conference on Risks and Security of Internet and Systems (CRiSIS 2008). Lien externe
Boucheneb, H., & Barkaoui, K. (septembre 2008). Relevant timed schedules / clock valuations for constructing time Petri Net reachability graphs [Communication écrite]. 6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2008), St-Malo, FR. Lien externe
Boucheneb, H., Barkaoui, K., & Hicheur, A. (septembre 2008). Modeling and analyzing time-constrained flexible workflows with time recursive ECATNets [Communication écrite]. 5th International Workshop on Web Services and Formal Methods (WS-FM 2008), Milan, Italia. Lien externe
