International Conference on Software Engineering and Formal Methods

Peischl, B. J. (Keynote speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Protocol Conformance Testing of a SIP Registrar: An Industrial Application of Formal Methods
Period13 Sep 2007
Held atInternational Conference on Software Engineering and Formal Methods
Event typeConference
LocationLondon, United Kingdom