A Formal Monitoring Technique for SIP Conformance Testing.

Xiaoping Che Felipe Lalanne Stephane Maag

Published in: ENASE (Selected Papers) (2012)

Keyphrases

intensive care
decision support system
formal model
software testing
email
test cases
learning algorithm
decision making
distributed systems
formal models