NantilusVérification et dépliages de réseaux de Petri temporels paramétrés
Les travaux présentés portent sur l étude de méthodes de vérification paramétrée des systèmes temps réels. La motivation pour ces recherches est de proposer des méthodes formelles à appliquer sur des systèmes dont les spécifications ne sont pas encore complètes. Des paramètres sont donc introduits d...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivités auteurs : | , , , |
| Autres auteurs : | , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Vérification et dépliages de réseaux de Petri temporels paramétrés / Louis-Marie Traonouez; sous la direction d'Olivier H. Roux; co-encadrant David Delfieu |
| Publié : |
[S.l.] :
[s.n.]
, 2009 |
| Description matérielle : | 1 vol. (139 f.) |
| Note de thèse : | Thèse de doctorat : Automatique et informatique appliquée : Nantes : 2009 |
| Sujets : | |
| Documents associés : | Reproduit comme:
Vérification et dépliages de réseaux de Petri temporels paramétrés |
Table des matières indisponible