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

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

FR

Auteur / Autrice :	Didier Lime
Direction :	Yvon Trinquet, Olivier Roux
Type :	Thèse de doctorat
Discipline(s) :	Automatique et informatique appliquée
Date :	Soutenance en 2004
Etablissement(s) :	Nantes
Ecole(s) doctorale(s) :	École doctorale sciences et technologies de l'information et des matériaux (Nantes)

FR