 | Monter d'un niveau |
Boucheneb, H. (2006). Checking untimed and timed linear properties of the Interval Timed Colored Petri Net Model. [Verificación de las propiedades lineales síncronas y asíncronas del Modelo de la Red de Petri Coloreado Intervalo Tiempo]. Revista Computacion y Sistemas, 10(2), 107-134. Lien externe
Boucheneb, H., & Hadjidj, R. (2006). CTL model checking of Time Petri Nets. Journal of Theorectical Computer Science, 353(1-3), 208-227. Lien externe
Boucheneb, H., & Hadjidj, R. (2006). Using inclusion abstraction to construct atomic state class graphs for time Petri nets. International Journal of Embedded Systems, 2(1-2), 128-139. Lien externe
Rakkay, H., & Boucheneb, H. (2006). Timed secure colored petri net based analysis of information flow. Annales des télécommunications, 61(11-12), 1314-1346. Lien externe
Gheorghe, L., Bouchhima, F., Nicolescu, G., & Boucheneb, H. (juin 2006). Formal definitions of simulation interfaces in a continuous/discrete co-simulation tool [Communication écrite]. 17th IEEE International Workshop on Rapid System Prototyping, Chania, Crete, Greece. Lien externe
Hadjidj, R., & Boucheneb, H. (juin 2006). On-the-fly TCTL model checking for time Petri nets using state class graphs [Communication écrite]. 6th International Conference on Application of Concurrency to System Design, Turku, Finland. Lien externe
