1. Softnet-Workshop "Testen und Verifikation"

  • Martin Weiglhofer (Speaker)

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

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