Modeling and validating hybrid systems using VDM and Mathematica

Bernhard Aichernig, Reinhold Kainhofer

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-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
Country/TerritoryUnited States
CityWilliamsburg
Period13/06/0015/06/00
  • Formal Methods

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Project: Research area

Cite this