 | Monter d'un niveau |
Hadjidj, R. (2006). Analyse et validation formelle des systèmes temps réel [Thèse de doctorat, École Polytechnique de Montréal]. Disponible
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
