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 : |
|
Nantilus
