Modeling and Validating Hybrid Systems Using VDM and Mathematica

B. K. Aichernig and R. Kainhofer

Abstract:

Reference: B. K. Aichernig and R. Kainhofer. Modeling and validating hybrid systems using VDM and Mathematica. In C. Holloway, editor, Lfm2000, Fifth NASA Langley Formal Methods Workshop, Williamsburg, Virginia, June 2000, pages 35-46. NASA, June 2000. CP-2000-210100.