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://www.irisa.fr/prive/hmarchan

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)