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 (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 (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)
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
Méthodes formelles (informatique)
Temps réel (informatique)
Logique temporelle
Ordonnancement (gestion)
Model-checking
Thèses et écrits académiques
Documents associés : Reproduit comme: Vérification et dépliages de réseaux de Petri temporels paramétrés
Particularités de l'exemplaire : BU Sciences, Ex. 1 :
Titre temporairement indisponible à la communication

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Communication impossible 2009 NANT 2135 Empruntable Disponible
Communication impossible 2009 NANT 2135 Exclu du prêt disponible