Protocol Conformance Testing of a SIP Registrar: An Industrial Application of Formal Methods

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the 5th International Conference on Software Engineering and Formal Methods
Publisher.
Pages115-125
Publication statusPublished - 2007

Cite this