A Formal Monitoring Technique for SIP Conformance Testing

Xiaoping Che, Felipe Lalanne, Stephane Maag. A Formal Monitoring Technique for SIP Conformance Testing. In Leszek A. Maciaszek, Joaquim Filipe, editors, Evaluation of Novel Approaches to Software Engineering - 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers. Volume 410 of Communications in Computer and Information Science, pages 79-94, Springer, 2012. [doi]

Authors

Xiaoping Che

This author has not been identified. Look up 'Xiaoping Che' in Google

Felipe Lalanne

This author has not been identified. Look up 'Felipe Lalanne' in Google

Stephane Maag

This author has not been identified. Look up 'Stephane Maag' in Google