[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Bernhard K. Aichernig & Reinhold Kainhofer
Comments: Presented at LfM2000, published in the proceedings In C.Michael Holloway, editor, Lfm2000, Fifth NASA Langley Formal Methods Workshop, Williamsburg, Virginia, June 2000, number CP-2000-210100, pages 35-46. NA
SA, June 2000
- =DEMO VALIDATION VDM-SL Mathematica Hybrid SAFER graphic animation
- Computer algebra systems can express VDM specifications and extend them to handle continuous(analog) components and behavior.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]