Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS

Tarek Sadani. Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS. PhD thesis, National Polytechnic Institute of Toulouse, France, 2007. [doi]