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
Event title5th International Conference on Software Engineering and Formal Methods: SEFM 2007
Event typeConference
LocationLondon, United Kingdom