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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Proceedings of the 5th International Conference on Software Engineering and Formal Methods
Herausgeber (Verlag)	.
Seiten	115-125
Publikationsstatus	Veröffentlicht - 2007

Dieses zitieren

@inproceedings{de14d3c19df749b58cbb811be1280be5,

title = "Protocol Conformance Testing of a SIP Registrar: An Industrial Application of Formal Methods",

author = "Bernhard Peischl",

year = "2007",

language = "English",

pages = "115--125",

booktitle = "Proceedings of the 5th International Conference on Software Engineering and Formal Methods",

publisher = ".",

}