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

Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa

Browse the full SEFM paper archive.