Automated Conformance Verification of Hybrid Systems

Harald Brandl, Martin Weiglhofer, Bernhard Aichernig

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

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

Konferenz

KonferenzInternational Conference on Quality Software
LandChina
OrtZhangjiajie
Zeitraum15/07/1015/07/10

Treatment code (Nähere Zuordnung)

  • Theoretical

Dieses zitieren

Brandl, H., Weiglhofer, M., & Aichernig, B. (2010). Automated Conformance Verification of Hybrid Systems. in Proceedings of the 10th International Conference on Quality Software (S. 3-12). IEEE Reliability Society. https://doi.org/10.1109/QSIC.2010.53