V. Rusu, Combining formal verification and conformance testing for validating reactive systems, Journal of Software Testing, Verification, and Reliability, 13(3), September 2003.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Vlad Rusu
Vlad.Rusu@irisa.fr

BibTex Reference

@article{rusu03a,
   Author = {Rusu, V.},
   Title = {Combining formal verification and conformance testing for validating reactive systems},
   Journal = {Journal of Software Testing, Verification, and Reliability},
   Volume = {13},
   Number = {3},
   Month = {September},
   Year = {2003}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.