-
Selection by year
-
Selection by authors
-
Complete lists
khoumsi03b
A. Khoumsi, Jéron T, H. Marchand. Test Cases Generation for Nondeterministic Real-time Systems. In 3rd International Workshop on Formal Approaches To Testing of Software (FATES 2003), Montréal, Québec, Canada, October 2003.
Contact
Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/
BibTex Reference
@InProceedings{khoumsi03b,
Author = {Khoumsi, A. and T, Jéron and Marchand, H.},
Title = {Test Cases Generation for Nondeterministic Real-time Systems},
BookTitle = {3rd International Workshop on Formal Approaches To Testing of Software (FATES 2003)},
Address = {Montréal, Québec, Canada},
Month = {October},
Year = {2003}
}
EndNote Reference [help]
Get EndNote Reference (.ref)