Automated Conformance Verification of Hybrid Systems

Harald Brandl, Martin Weiglhofer, Bernhard Aichernig

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Originalspracheenglisch
TitelProceedings of the 10th International Conference on Quality Software
Herausgeber (Verlag)IEEE Reliability Society
Seiten3-12
DOIs
PublikationsstatusVeröffentlicht - 2010
Veranstaltung10th International Conference on Quality Software: QSIC 2010 - Zhangjiajie, China
Dauer: 14 Juli 201015 Juli 2010

Konferenz

Konferenz10th International Conference on Quality Software
Land/GebietChina
OrtZhangjiajie
Zeitraum14/07/1015/07/10

Treatment code (Nähere Zuordnung)

  • Theoretical

Dieses zitieren