Integration of Safety Verification with Conformance Testing in Real-Time Reactive System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Haiying Sun, Jing Liu, Dehui Du. Integration of Safety Verification with Conformance Testing in Real-Time Reactive System. In Karl R. P. H. Leung, Pornsiri Muenchaisri, editors, 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012. pages 10-19, IEEE, 2012. [doi]

This author has not been identified. Look up 'Haiying Sun' in GoogleThis author has not been identified. Look up 'Jing Liu' in GoogleThis author has not been identified. Look up 'Dehui Du' in Google

runs on WebDSL