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.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Hervé Marchand
hmarchan@irisa.fr

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)

This page has been automatically generated using the bib2html program.