Modeling and validating hybrid systems using VDM and Mathematica

Bernhard Aichernig, Reinhold Kainhofer

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

Original languageEnglish
Title of host publicationLfm2000: Fifth NASA Langley Formal Methods Workshop
PublisherNASA
Pages35-46
VolumeCP-2000-2101000
Publication statusPublished - 2000
EventNASA Langley Formal Methods Workshop - Williamsburg, United States
Duration: 13 Jun 200015 Jun 2000

Publication series

NameNASA STI Report Series
PublisherNASA

Conference

ConferenceNASA Langley Formal Methods Workshop
CountryUnited States
CityWilliamsburg
Period13/06/0015/06/00

Cite this

Aichernig, B., & Kainhofer, R. (2000). Modeling and validating hybrid systems using VDM and Mathematica. In Lfm2000: Fifth NASA Langley Formal Methods Workshop (Vol. CP-2000-2101000, pp. 35-46). (NASA STI Report Series). NASA.

Modeling and validating hybrid systems using VDM and Mathematica. / Aichernig, Bernhard; Kainhofer, Reinhold.

Lfm2000: Fifth NASA Langley Formal Methods Workshop. Vol. CP-2000-2101000 NASA, 2000. p. 35-46 (NASA STI Report Series).

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

Aichernig, B & Kainhofer, R 2000, Modeling and validating hybrid systems using VDM and Mathematica. in Lfm2000: Fifth NASA Langley Formal Methods Workshop. vol. CP-2000-2101000, NASA STI Report Series, NASA, pp. 35-46, NASA Langley Formal Methods Workshop, Williamsburg, United States, 13/06/00.
Aichernig B, Kainhofer R. Modeling and validating hybrid systems using VDM and Mathematica. In Lfm2000: Fifth NASA Langley Formal Methods Workshop. Vol. CP-2000-2101000. NASA. 2000. p. 35-46. (NASA STI Report Series).
Aichernig, Bernhard ; Kainhofer, Reinhold. / Modeling and validating hybrid systems using VDM and Mathematica. Lfm2000: Fifth NASA Langley Formal Methods Workshop. Vol. CP-2000-2101000 NASA, 2000. pp. 35-46 (NASA STI Report Series).
@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",

}

TY - GEN

T1 - Modeling and validating hybrid systems using VDM and Mathematica

AU - Aichernig, Bernhard

AU - Kainhofer, Reinhold

PY - 2000

Y1 - 2000

M3 - Conference contribution

VL - CP-2000-2101000

T3 - NASA STI Report Series

SP - 35

EP - 46

BT - Lfm2000: Fifth NASA Langley Formal Methods Workshop

PB - NASA

ER -