Documents dont l'auteur est "Hadjidj, Rachid"

Article de revue

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

Thèse de doctorat

Hadjidj, R. (2006). Analyse et validation formelle des systèmes temps réel [Thèse de doctorat, École Polytechnique de Montréal]. Disponible