The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION

C. Constant, T. Jéron, V. Rusu and H. Marchand, "Integrating formal verification and conformance testing for reactive systems," in IEEE Transactions on Software Engineering, vol. 33, no. , pp. 558-574, 2007.
doi:10.1109/TSE.2007.70707
91 ms
(Ver 3.3 (11022016))