<  Back to the Polytechnique Montréal portal

Items where Author is "Rakkay, H."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Publication Date | Document subtype | No Grouping
Number of items: 5.

Rakkay, H., Boucheneb, H., & Roux, O. H. (2009, July). Time arc Petri nets and their analysis [Paper]. 9th International Conference on Application of Concurrency to System Design, Augsburg, Germany. External link

Boucheneb, H., & Rakkay, H. (2007, July). A more efficient time Petri net state space abstraction preserving linear properties [Paper]. 7th Conference of Application of Concurrency to System Design, Bratislava, Slovak Republic. External link

Rakkay, H., Boucheneb, H., & Roux, O. H. (2007, October). Réseaux de Petri à arcs temporels généralisés aux sémantiques faible et forte [Paper]. 6e Colloque francophone sur la modélisation des systèmes réactifs. Unavailable

Rakkay, H., & Boucheneb, H. (2007, June). Using times colored Petri net to formalize temporal role bases access control policies [Paper]. 7e Conférence internationale sur les nouvelles technologies de la répartition (NOTERE 2007), Marrakech, Maroc. Unavailable

Rakkay, H., & Boucheneb, H. (2005, January). Timed secure colored petri net [Paper]. Conférence sur les nouvelles technologies de la répartition (NOTERE 2005). Unavailable

List generated on: Sun Jul 21 08:13:41 2024 EDT