Automated Conformance Verification of Hybrid Systems

Harald Brandl; Martin Weiglhofer; Bernhard Aichernig

doi:10.1109/QSIC.2010.53

Automated Conformance Verification of Hybrid Systems

Harald Brandl, Martin Weiglhofer, Bernhard Aichernig

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings of the 10th International Conference on Quality Software
Publisher	IEEE Reliability Society
Pages	3-12
DOIs	https://doi.org/10.1109/QSIC.2010.53
Publication status	Published - 2010
Event	QSIC 2010: QSIC 2010 - Zhangjiajie, China Duration: 14 Jul 2010 → 15 Jul 2010

Conference

Conference	QSIC 2010
Country/Territory	China
City	Zhangjiajie
Period	14/07/10 → 15/07/10

Treatment code (Nähere Zuordnung)

Theoretical

Access to Document

10.1109/QSIC.2010.53

qsic.pdfFinal published version, 340 KB

EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems
Brandl, H., Krenn, W. K. & Aichernig, B.
1/01/08 → 31/12/10
Project: Research project

Cite this

@inproceedings{851007d6de974036a3c5ed7599110139,

title = "Automated Conformance Verification of Hybrid Systems",

author = "Harald Brandl and Martin Weiglhofer and Bernhard Aichernig",

year = "2010",

doi = "10.1109/QSIC.2010.53",

language = "English",

pages = "3--12",

booktitle = "Proceedings of the 10th International Conference on Quality Software",

publisher = "IEEE Reliability Society",

note = "QSIC 2010 : QSIC 2010 ; Conference date: 14-07-2010 Through 15-07-2010",

}

TY - GEN

T1 - Automated Conformance Verification of Hybrid Systems

AU - Brandl, Harald

AU - Weiglhofer, Martin

AU - Aichernig, Bernhard

PY - 2010

Y1 - 2010

U2 - 10.1109/QSIC.2010.53

DO - 10.1109/QSIC.2010.53

M3 - Conference paper

SP - 3

EP - 12

BT - Proceedings of the 10th International Conference on Quality Software

PB - IEEE Reliability Society

T2 - QSIC 2010

Y2 - 14 July 2010 through 15 July 2010

ER -

Automated Conformance Verification of Hybrid Systems

Conference

Treatment code (Nähere Zuordnung)

Access to Document

Projects

EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems

Cite this