Testing of Hybrid Systems using Qualitative Models

Harald Brandl

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

Original language	English
Title of host publication	Proceedings of Formal Methods 2009 Doctoral Symposium
Publisher	.
Pages	46-52
Publication status	Published - 2009
Event	International Symposium of Formal Methods Europe - Eindhoven, Netherlands Duration: 6 Nov 2009 → 6 Nov 2009

Conference	International Symposium of Formal Methods Europe
Country/Territory	Netherlands
City	Eindhoven
Period	6/11/09 → 6/11/09

Treatment code (Nähere Zuordnung)

@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 = ".",

note = "International Symposium of Formal Methods Europe ; Conference date: 06-11-2009 Through 06-11-2009",

}

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 paper

SP - 46

EP - 52

BT - Proceedings of Formal Methods 2009 Doctoral Symposium

PB - .

T2 - International Symposium of Formal Methods Europe

Y2 - 6 November 2009 through 6 November 2009

ER -