International Conference on Software Engineering and Formal Methods

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: Protocol Conformance Testing of a SIP Registrar: An Industrial Application of Formal Methods
Period13 Sept 2007
Event title5th International Conference on Software Engineering and Formal Methods: SEFM 2007
Event typeConference
LocationLondon, United KingdomShow on map