The Community for Technology Leaders
RSS Icon
Issue No.08 - August (2007 vol.33)
pp: 558-574
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, August 2007, doi:10.1109/TSE.2007.70707
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool