Automated Conformance Verification of Hybrid Systems

Harald Brandl, Martin Weiglhofer, Bernhard Aichernig

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 10th International Conference on Quality Software
PublisherIEEE Reliability Society
Pages3-12
DOIs
Publication statusPublished - 2010
EventInternational Conference on Quality Software - Zhangjiajie, China
Duration: 15 Jul 201015 Jul 2010

Conference

ConferenceInternational Conference on Quality Software
CountryChina
CityZhangjiajie
Period15/07/1015/07/10

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this

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