Modeling and validating hybrid systems using VDM and Mathematica

Bernhard Aichernig, Reinhold Kainhofer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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