Protocol Conformance Testing 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
PublisherInstitute of Electrical and Electronics Engineers
Pages215-224
Publication statusPublished - 2007
EventInternational Conference on Software Engineering and Formal Methods - London, United Kingdom
Duration: 10 Sep 200714 Sep 2007

Conference

ConferenceInternational Conference on Software Engineering and Formal Methods
CountryUnited Kingdom
CityLondon
Period10/09/0714/09/07

Cite this