![]() | Monter d'un niveau |
Hadjidj, R., & Boucheneb, H. (2011). Efficient reachability analysis for time petri nets. IEEE Transactions on Computers, 60(8), 1085-1099. Lien externe
Hadjidj, R., & Boucheneb, H. (2009). On-the-fly T C T L model checking for time Petri nets. Theoretical Computer Science, 410(42), 4241-4261. Lien externe
Hadjidj, R. (2006). Analyse et validation formelle des systèmes temps réel [Thèse de doctorat, École Polytechnique de Montréal]. Disponible