Modeling and validating hybrid systems using VDM and Mathematica

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

Originalsprache	englisch
Titel	Lfm2000: Fifth NASA Langley Formal Methods Workshop
Herausgeber (Verlag)	NASA
Seiten	35-46
Band	CP-2000-2101000
Publikationsstatus	Veröffentlicht - 2000
Veranstaltung	NASA Langley Formal Methods Workshop - Williamsburg, USA / Vereinigte Staaten Dauer: 13 Juni 2000 → 15 Juni 2000

Name	NASA STI Report Series
Herausgeber (Verlag)	NASA

Konferenz	NASA Langley Formal Methods Workshop
Land/Gebiet	USA / Vereinigte Staaten
Ort	Williamsburg
Zeitraum	13/06/00 → 15/06/00

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet

Dieses zitieren

@inproceedings{2c07eccc525245459df07c4b167512fb,

title = "Modeling and validating hybrid systems using VDM and Mathematica",

author = "Bernhard Aichernig and Reinhold Kainhofer",

year = "2000",

language = "English",

volume = "CP-2000-2101000",

series = "NASA STI Report Series",

publisher = "NASA",

pages = "35--46",

booktitle = "Lfm2000: Fifth NASA Langley Formal Methods Workshop",

note = "NASA Langley Formal Methods Workshop ; Conference date: 13-06-2000 Through 15-06-2000",

}

TY - GEN

T1 - Modeling and validating hybrid systems using VDM and Mathematica

AU - Aichernig, Bernhard

AU - Kainhofer, Reinhold

PY - 2000

Y1 - 2000

M3 - Conference paper

VL - CP-2000-2101000

T3 - NASA STI Report Series

SP - 35

EP - 46

BT - Lfm2000: Fifth NASA Langley Formal Methods Workshop

PB - NASA

T2 - NASA Langley Formal Methods Workshop

Y2 - 13 June 2000 through 15 June 2000

ER -