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

Full description

Saved in:
Bibliographic Details
Main Author : Traonouez Louis-Marie (Auteur)
Corporate Authors : Université de Nantes 1962-2021 (Organisme de soutenance), Université de Nantes Faculté des sciences et des techniques (Autre partenaire associé à la thèse), Centrale Nantes 1991-.... (Autre partenaire associé à la thèse), École doctorale Sciences et technologies de l'information et mathématiques Nantes (Organisme de soutenance)
Other Authors : Roux Olivier Henri (Directeur de thèse), Delfieu David (Directeur de thèse)
Format : Thesis
Language : français
Title statement : 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
Published : [S.l.] : [s.n.] , 2009
Physical Description : 1 vol. (139 f.)
Note de thèse : Thèse de doctorat : Automatique et informatique appliquée : Nantes : 2009
Subjects :
Petri, Réseaux de > Thèses et écrits académiques
Méthodes formelles (informatique) > Thèses et écrits académiques
Temps réel (informatique) > Thèses et écrits académiques
Logique temporelle > Thèses et écrits académiques
Ordonnancement (gestion) > Thèses et écrits académiques
Model-checking
Related Items : Has reproduction: Vérification et dépliages de réseaux de Petri temporels paramétrés

BU Sciences

Holdings details from BU Sciences
Location Call Number Loan type Status
Magasin aérotherme 2009 NANT 2135 Empruntable Available
Magasin aérotherme 2009 NANT 2135 Exclu du prêt disponible