Exemplaires: Vérification d'applications temps réel à l'aide de réseaux de Petri temporels étendus

Détails bibliographiques
Auteurs principaux :	Lime Didier (Auteur), Trinquet Yvon (Directeur de thèse), Roux Olivier (Directeur de thèse)
Collectivités auteurs :	Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale sciences et technologies de l'information et des matériaux Nantes (Ecole doctorale associée à la thèse)
Format :	Thèse ou mémoire
Langue :	français
Titre complet :	Vérification d'applications temps réel à l'aide de réseaux de Petri temporels étendus / Didier Lime; sous la dir. de Yvon Trinquet; co-encadrant Olivier H. Roux
Publié :	[S.l.] : [s.n.] , 2004
Description matérielle :	148 p.
Condition d'utilisation et de reproduction :	Publication autorisée par le jury
Note de thèse :	Thèse doctorat : Automatique et informatique appliquée : Nantes : 2004
Sujets :	Petri, Réseaux de Temps réel (informatique) Thèses et écrits académiques
Documents associés :	Reproduit comme: Vérification d'applications temps réel à l'aide de réseaux de Petri temporels étendus
Particularités de l'exemplaire :	BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication

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

Informations d'exemplaires de Bib. Centrale Nantes
‌	Cote	Prêt	Statut
Magasin 3	TH 2071 bis	Empruntable	Disponible
Magasin 3	TH 2071	Exclu du prêt	Disponible