A Logic-based Passive Testing Approach for the Validation of Communicating Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaoping Che, Felipe Lalanne, Stephane Maag. A Logic-based Passive Testing Approach for the Validation of Communicating Protocols. In Joaquim Filipe, Leszek A. Maciaszek, editors, ENASE 2012 - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, 29-30 June, 2012. pages 53-64, SciTePress, 2012.

This author has not been identified. Look up 'Xiaoping Che' in GoogleThis author has not been identified. Look up 'Felipe Lalanne' in GoogleThis author has not been identified. Look up 'Stephane Maag' in Google

runs on WebDSL