Communication Dans Un Congrès
Année :
Dtn Ensieta : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00517290
Soumis le : mardi 14 septembre 2010-09:18:17
Dernière modification le : lundi 14 mars 2022-11:08:06
Dates et versions
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⟩
Collections
48
Consultations
0
Téléchargements