QSIC 2010

  • Harald Brandl (Redner/in)

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

Beschreibung

Talk: Automated Conformance Verification of Hybrid Systems
Zeitraum14 Juli 2010 → 15 Juli 2010
Ereignistitel10th International Conference on Quality Software: QSIC 2010
VeranstaltungstypKonferenz
OrtZhangjiajie, ChinaAuf Karte anzeigen