Implementation of testing automata for timed model validation - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
Communication Dans Un Congrès Année :

Implementation of testing automata for timed model validation

Fichier non déposé

Dates et versions

hal-00517290 , version 1 (14-09-2010)

Identifiants

  • HAL Id : hal-00517290 , version 1

Citer

Jean-Charles Roger, Philippe Dhaussy. Implementation of testing automata for timed model validation. Movep'04, 2004, Brussel, Belgium. ⟨hal-00517290⟩
48 Consultations
0 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More