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 201015 Jul 2010
Ereignistitel10th International Conference on Quality Software: QSIC 2010
VeranstaltungstypKonferenz
OrtZhangjiajie, China