rusu03a

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

Contact

Vlad Rusu http://www.irisa.fr/vertecs/Equipe/Rusu/vlad-rusu.html

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)