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
Auteur principal : Traonouez Louis-Marie (Auteur)
Collectivités auteurs : 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)
Autres auteurs : Roux Olivier Henri (Directeur de thèse), Delfieu David (Directeur de thèse)
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 :
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
Documents associés : Reproduit comme: Vérification et dépliages de réseaux de Petri temporels paramétrés

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin aérotherme 2009 NANT 2135 Empruntable Disponible
Magasin aérotherme 2009 NANT 2135 Exclu du prêt disponible