1. Softnet-Workshop "Testen und Verifikation"

Martin Weiglhofer (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Beschreibung

Talk: Protokoll-Conformance-Testen: Eine industrielle Anwendung von Formalen Methoden
Zeitraum7 Nov 2007
Gehalten am1. Softnet-Workshop "Testen und Verifikation"
VeranstaltungstypWorkshop