QSIC 2010

Harald Brandl (Redner/in)

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

Beschreibung

Talk: Automated Conformance Verification of Hybrid Systems
Zeitraum14 Jul 2010 - 15 Jul 2010
Gehalten amQSIC 2010
VeranstaltungstypKonferenz