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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Peischl, B. (2007). Protocol Conformance Testing of a SIP Registrar: An Industrial Application of Formal Methods. In Proceedings of the 5th International Conference on Software Engineering and Formal Methods (pp. 115-125). ..