Formal Methods 2009 Doctoral Symposium

  • Harald Brandl (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

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