International Conference on Software Engineering and Formal Methods

Peischl, B. J. (Keynote speaker)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: Protocol Conformance Testing of a SIP Registrar: An Industrial Application of Formal Methods
Zeitraum13 Sep 2007
VeranstaltungstypKonferenz
OrtLondon, Großbritannien / Vereinigtes Königreich