Testing of Hybrid Systems using Qualitative Models

Harald Brandl

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

Original languageEnglish
Title of host publicationProceedings of Formal Methods 2009 Doctoral Symposium
Publisher.
Pages46-52
Publication statusPublished - 2009
EventInternational Symposium of Formal Methods Europe - Eindhoven, Netherlands
Duration: 6 Nov 20096 Nov 2009

Conference

ConferenceInternational Symposium of Formal Methods Europe
CountryNetherlands
CityEindhoven
Period6/11/096/11/09

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this

Brandl, H. (2009). Testing of Hybrid Systems using Qualitative Models. In Proceedings of Formal Methods 2009 Doctoral Symposium (pp. 46-52). ..

Testing of Hybrid Systems using Qualitative Models. / Brandl, Harald.

Proceedings of Formal Methods 2009 Doctoral Symposium. ., 2009. p. 46-52.

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

Brandl, H 2009, Testing of Hybrid Systems using Qualitative Models. in Proceedings of Formal Methods 2009 Doctoral Symposium. ., pp. 46-52, International Symposium of Formal Methods Europe, Eindhoven, Netherlands, 6/11/09.
Brandl H. Testing of Hybrid Systems using Qualitative Models. In Proceedings of Formal Methods 2009 Doctoral Symposium. . 2009. p. 46-52
Brandl, Harald. / Testing of Hybrid Systems using Qualitative Models. Proceedings of Formal Methods 2009 Doctoral Symposium. ., 2009. pp. 46-52
@inproceedings{49a2038ab94f49389fdcc0f919a5e200,
title = "Testing of Hybrid Systems using Qualitative Models",
author = "Harald Brandl",
year = "2009",
language = "English",
pages = "46--52",
booktitle = "Proceedings of Formal Methods 2009 Doctoral Symposium",
publisher = ".",

}

TY - GEN

T1 - Testing of Hybrid Systems using Qualitative Models

AU - Brandl, Harald

PY - 2009

Y1 - 2009

UR - http://www.win.tue.nl/fm2009/DoctoralSymposium/DoctoralSymposium.html

UR - http://www.win.tue.nl/fm2009/DoctoralSymposium/fm09ds.pdf

M3 - Conference contribution

SP - 46

EP - 52

BT - Proceedings of Formal Methods 2009 Doctoral Symposium

PB - .

ER -