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

par Didier Lime

Thèse de doctorat en Automatique et informatique appliquée

Sous la direction de Yvon Trinquet et de Olivier Henri Roux.

Soutenue en 2004

à Nantes .


  • Pas de résumé disponible.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 148 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 139-145

Où se trouve cette thèse ?

  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 2004 NANT 2099
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 2071
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.