Integrated tool for testing timed systems

H. Fouchal; Laurent Pierre; Sébastien Gruson; Cyril Rabat; Antoine Rollet

Conference Papers Year : 2005

Integrated tool for testing timed systems

(1) , , , (2) , (3)

1
2
3

H. Fouchal

Function : Author
PersonId : 183516
IdHAL : hacene-fouchal
ORCID : 0000-0002-9584-3566
IdRef : 084646640

Groupe de Recherche en Informatique et Mathématiques Appliquées Antilles-Guyane

Laurent Pierre

Function : Author

Sébastien Gruson

Function : Author

Cyril Rabat

Function : Author

Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804

Antoine Rollet

Function : Author
PersonId : 836429

Laboratoire Bordelais de Recherche en Informatique

Domains

Networking and Internet Architecture [cs.NI]

Antoine Rollet : Connect in order to contact the contributor

https://hal.science/hal-00354645

Submitted on : Tuesday, January 20, 2009-2:52:36 PM

Last modification on : Friday, April 19, 2024-1:44:22 PM

Dates and versions

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

Identifiers

HAL Id : hal-00354645 , version 1

Cite

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⟩

Integrated tool for testing timed systems

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share