 | Monter d'un niveau |
Boucheneb, H., & Hadjidj, R. (mai 2007). Model checking of time Petri nets [Communication écrite]. 1st International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2007), Algiers, Algeria. Lien externe
Boucheneb, H., & Rakkay, H. (juillet 2007). A more efficient time Petri net state space abstraction preserving linear properties [Communication écrite]. 7th Conference of Application of Concurrency to System Design, Bratislava, Slovak Republic. Lien externe
Hadjidj, R., & Boucheneb, H. (mai 2007). Zenoness detection and times model checking for real time systems [Communication écrite]. 1st International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2007), Algiers, Algeria. Lien externe
Ouardani, A., Pierre, S., & Boucheneb, H. (2007). A Security Protocol for Mobile Agents Based Upon the Cooperation of Sedentary Agents. Journal of Network and Computer Applications, 30(3), 1228-1243. Lien externe
Rakkay, H., & Boucheneb, H. (juin 2007). Using times colored Petri net to formalize temporal role bases access control policies [Communication écrite]. 7e Conférence internationale sur les nouvelles technologies de la répartition (NOTERE 2007), Marrakech, Maroc. Non disponible
Rakkay, H., Boucheneb, H., & Roux, O. H. (octobre 2007). Réseaux de Petri à arcs temporels généralisés aux sémantiques faible et forte [Communication écrite]. 6e Colloque francophone sur la modélisation des systèmes réactifs. Non disponible
Rhazi, A. E., Pierre, S., & Boucheneb, H. (2007). A secure protocol based on a sedentary agent for mobile agent environments. Journal of Computer Science, 3(1), 35-42. Disponible
