Vérification et dépliages de réseaux de Petri temporels paramétrés

Vé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...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Traonouez Louis-Marie (Auteur), Roux Olivier Henri (Directeur de thèse), Delfieu David (Directeur de thèse)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Université de Nantes Faculté des sciences et des techniques (Organisme de soutenance), Centrale Nantes 1991-.... (Organisme de soutenance), École doctorale Sciences et technologies de l'information et mathématiques Nantes (Organisme de soutenance)
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
Accès en ligne : Accès Nantes Université
Note de thèse : Thèse de doctorat : Automatique et informatique appliquée : Nantes : 2009
Sujets :
Petri, Réseaux de
Méthodes formelles (informatique)
Temps réel (informatique)
Logique temporelle
Ordonnancement (gestion)
Model-checking
Thèses et écrits académiques
Documents associés : Reproduction de: Vérification et dépliages de réseaux de Petri temporels paramétrés

Internet

https://archive.bu.univ-nantes.fr/pollux/show/show?id=dbfdebe6-0a7f-47f6-ac1a-b3b334559aa9