Conformance Testing of Hybrid Systems with Qualitative Reasoning Models

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

Original languageEnglish
Title of host publicationModel-Based Testing, MBT
PublisherElsevier B.V.
Pages53-69
Volume253
Publication statusPublished - 2009
EventWorkshop on Model-Based Testing - York, United Kingdom
Duration: 22 Mar 200922 Mar 2009

Publication series

NameElectronic Notes in Theoretical Computer Science
PublisherElsevier

Conference

ConferenceWorkshop on Model-Based Testing
CountryUnited Kingdom
CityYork
Period22/03/0922/03/09

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Experimental

Cite this

Aichernig, B., Brandl, H., & Wotawa, F. (2009). Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. In Model-Based Testing, MBT (Vol. 253, pp. 53-69). (Electronic Notes in Theoretical Computer Science). Elsevier B.V..

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. / Aichernig, Bernhard; Brandl, Harald; Wotawa, Franz.

Model-Based Testing, MBT. Vol. 253 Elsevier B.V., 2009. p. 53-69 (Electronic Notes in Theoretical Computer Science).

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

Aichernig, B, Brandl, H & Wotawa, F 2009, Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. in Model-Based Testing, MBT. vol. 253, Electronic Notes in Theoretical Computer Science, Elsevier B.V., pp. 53-69, Workshop on Model-Based Testing, York, United Kingdom, 22/03/09.
Aichernig B, Brandl H, Wotawa F. Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. In Model-Based Testing, MBT. Vol. 253. Elsevier B.V. 2009. p. 53-69. (Electronic Notes in Theoretical Computer Science).
Aichernig, Bernhard ; Brandl, Harald ; Wotawa, Franz. / Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. Model-Based Testing, MBT. Vol. 253 Elsevier B.V., 2009. pp. 53-69 (Electronic Notes in Theoretical Computer Science).
@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",
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 contribution

VL - 253

T3 - Electronic Notes in Theoretical Computer Science

SP - 53

EP - 69

BT - Model-Based Testing, MBT

PB - Elsevier B.V.

ER -