Vérification d'applications temps réel à l'aide de réseaux de Petri temporels étendus

Vérification d'applications temps réel à l'aide de réseaux de Petri temporels étendus

Enregistré dans:
Détails bibliographiques
Auteur principal : Lime Didier (Auteur)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale sciences et technologies de l'information et des matériaux Nantes (Ecole doctorale associée à la thèse)
Autres auteurs : Trinquet Yvon (Directeur de thèse), Roux Olivier Henri (Directeur de thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Vérification d'applications temps réel à l'aide de réseaux de Petri temporels étendus / Didier Lime; sous la dir. de Yvon Trinquet; co-encadrant Olivier H. Roux
Publié : [S.l.] : [s.n.] , 2004
Description matérielle : 148 p.
Note de thèse : Thèse doctorat : Automatique et informatique appliquée : Nantes : 2004
Disponibilité : Publication autorisée par le jury
Sujets :
Petri, Réseaux de > Thèses et écrits académiques
Temps réel (informatique) > Thèses et écrits académiques
Table des matières indisponible