The Community for Technology Leaders
Green Image
INDEX TERMS
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. , pp. 558-574, August 2007, doi:10.1109/TSE.2007.70707
81 ms
(Ver 3.3 (11022016))