This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Integrating formal verification and conformance testing for reactive systems
August 2007 (vol. 33 no. 8)
pp. 558-574
Citation:
Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu, "Integrating formal verification and conformance testing for reactive systems," IEEE Transactions on Software Engineering, vol. 33, no. 8, pp. 558-574, Aug. 2007, doi:10.1109/TSE.2007.70707
Usage of this product signifies your acceptance of the Terms of Use.