Testing of Hybrid Systems using Qualitative Models

Harald Brandl

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Proceedings of Formal Methods 2009 Doctoral Symposium
Herausgeber (Verlag)	.
Seiten	46-52
Publikationsstatus	Veröffentlicht - 2009
Veranstaltung	International Symposium of Formal Methods Europe - Eindhoven, Niederlande Dauer: 6 Nov. 2009 → 6 Nov. 2009

Konferenz	International Symposium of Formal Methods Europe
Land/Gebiet	Niederlande
Ort	Eindhoven
Zeitraum	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 -