Integrated tool for testing timed systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2005
Fichier non déposé

Dates et versions

hal-00354645 , version 1 (20-01-2009)

Identifiants

  • HAL Id : hal-00354645 , version 1

Citer

H. Fouchal, Laurent Pierre, Sébastien Gruson, Cyril Rabat, Antoine Rollet. Integrated tool for testing timed systems. Fifth IEEE International Symposium and School on Advance Distributed Systems (ISSADS 2005), Jan 2005, Guadalajara, Mexico. pp.153-166. ⟨hal-00354645⟩
83 Consultations
0 Téléchargements

Partager

More