International Conference on Software Engineering and Formal Methods

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

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

Zeitraum	13 Sept. 2007
Ereignistitel	5th International Conference on Software Engineering and Formal Methods: SEFM 2007
Veranstaltungstyp	Konferenz
Ort	London, Großbritannien / Vereinigtes KönigreichAuf Karte anzeigen