Conformance Testing of Hybrid Systems with Qualitative Reasoning Models

Bernhard Aichernig; Harald Brandl; Franz Wotawa

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models

Bernhard Aichernig, Harald Brandl, Franz Wotawa

Institute of Software Technology (7160)

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

Original language	English
Title of host publication	Model-Based Testing, MBT
Publisher	Elsevier B.V.
Pages	53-69
Volume	253
Publication status	Published - 2009
Event	5th Workshop on Model-Based Testing: MBT 2009 - York, United Kingdom Duration: 22 Mar 2009 → 22 Mar 2009

Publication series

Name	Electronic Notes in Theoretical Computer Science
Publisher	Elsevier

Workshop

Workshop	5th Workshop on Model-Based Testing
Country/Territory	United Kingdom
City	York
Period	22/03/09 → 22/03/09

Treatment code (Nähere Zuordnung)

Theoretical
Experimental

Cite this

@inproceedings{bc77fe44fdf7449581093d838d9f6a53,

title = "Conformance Testing of Hybrid Systems with Qualitative Reasoning Models",

author = "Bernhard Aichernig and Harald Brandl and Franz Wotawa",

note = "im Rahmen der ETAPS 2009; 5th Workshop on Model-Based Testing : MBT 2009 ; Conference date: 22-03-2009 Through 22-03-2009",

year = "2009",

language = "English",

volume = "253",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier B.V.",

pages = "53--69",

booktitle = "Model-Based Testing, MBT",

address = "Netherlands",

}

TY - GEN

T1 - Conformance Testing of Hybrid Systems with Qualitative Reasoning Models

AU - Aichernig, Bernhard

AU - Brandl, Harald

AU - Wotawa, Franz

N1 - im Rahmen der ETAPS 2009

PY - 2009

Y1 - 2009

UR - http://react.cs.uni-sb.de/mbt2009/

M3 - Conference paper

VL - 253

T3 - Electronic Notes in Theoretical Computer Science

SP - 53

EP - 69

BT - Model-Based Testing, MBT

PB - Elsevier B.V.

T2 - 5th Workshop on Model-Based Testing

Y2 - 22 March 2009 through 22 March 2009

ER -

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models

Publication series

Workshop

Treatment code (Nähere Zuordnung)

Other files and links

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

Cite this

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models

Publication series

Workshop

Treatment code (Nähere Zuordnung)

Other files and links

Projects

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

Cite this