Protocol Conformance Testing 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
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

Aichernig, B., Peischl, B., Weiglhofer, M., & Wotawa, F. (2007). Protocol Conformance Testing a SIP Registrar: An Industrial Application of Formal Methods. In Proceedings of the 5th International Conference on Software Engineering and Formal Methods (pp. 215-224). Institute of Electrical and Electronics Engineers.

Protocol Conformance Testing a SIP Registrar: An Industrial Application of Formal Methods. / Aichernig, Bernhard; Peischl, Bernhard; Weiglhofer, Martin; Wotawa, Franz.

Proceedings of the 5th International Conference on Software Engineering and Formal Methods. Institute of Electrical and Electronics Engineers, 2007. p. 215-224.

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

Aichernig, B, Peischl, B, Weiglhofer, M & Wotawa, F 2007, Protocol Conformance Testing a SIP Registrar: An Industrial Application of Formal Methods. in Proceedings of the 5th International Conference on Software Engineering and Formal Methods. Institute of Electrical and Electronics Engineers, pp. 215-224, International Conference on Software Engineering and Formal Methods, London, United Kingdom, 10/09/07.
Aichernig B, Peischl B, Weiglhofer M, Wotawa F. Protocol Conformance Testing a SIP Registrar: An Industrial Application of Formal Methods. In Proceedings of the 5th International Conference on Software Engineering and Formal Methods. Institute of Electrical and Electronics Engineers. 2007. p. 215-224
Aichernig, Bernhard ; Peischl, Bernhard ; Weiglhofer, Martin ; Wotawa, Franz. / Protocol Conformance Testing a SIP Registrar: An Industrial Application of Formal Methods. Proceedings of the 5th International Conference on Software Engineering and Formal Methods. Institute of Electrical and Electronics Engineers, 2007. pp. 215-224
@inproceedings{dfffd21c914c4cd096627df5e4f52dc4,
title = "Protocol Conformance Testing a SIP Registrar: An Industrial Application of Formal Methods",
author = "Bernhard Aichernig and Bernhard Peischl and Martin Weiglhofer and Franz Wotawa",
year = "2007",
language = "English",
pages = "215--224",
booktitle = "Proceedings of the 5th International Conference on Software Engineering and Formal Methods",
publisher = "Institute of Electrical and Electronics Engineers",
address = "United States",

}

TY - GEN

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

AU - Aichernig, Bernhard

AU - Peischl, Bernhard

AU - Weiglhofer, Martin

AU - Wotawa, Franz

PY - 2007

Y1 - 2007

M3 - Conference contribution

SP - 215

EP - 224

BT - Proceedings of the 5th International Conference on Software Engineering and Formal Methods

PB - Institute of Electrical and Electronics Engineers

ER -