Formal Methods 2009 Doctoral Symposium

Harald Brandl (Redner/in)

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

Beschreibung

Talk: Testing of Hybrid Systems using Qualitative Models
Zeitraum6 Nov 2009
EreignistitelFormal Methods 2009 Doctoral Symposium
VeranstaltungstypKonferenz