The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION
Camille Constant, Thierry Jéron, Vlad Rusu, Hervé Marchand, "Integrating formal verification and conformance testing for reactive systems", IEEE Transactions on Software Engineering, vol. 33, no. , pp. 558-574, August 2007, doi:10.1109/TSE.2007.70707
189 ms
(Ver 3.1 (10032016))