1. Softnet-Workshop "Testen und Verifikation"

Martin Weiglhofer (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

Talk: Protokoll-Conformance-Testen: Eine industrielle Anwendung von Formalen Methoden
Period7 Nov 2007
Held at1. Softnet-Workshop "Testen und Verifikation"
Event typeWorkshop