Modeling and Validating Hybrid Systems using VDM and Mathematica
5th, Langley formal methods workshop; Lfm2000 ; 2000 ; Williamsburg, VA
2000-01-01
12 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
An Introduction to "Mathematica"
British Library Online Contents | 1996
|SYSTEMS AND SOFTWARE - Mathematica 6: A new revolution?
Online Contents | 2007
Modeling and Validating SAFER in VDM-SL
British Library Conference Proceedings | 1997
|Mathematica upgrade simplifies design tasks
British Library Online Contents | 1997
An Integrated Methodology for Defining, Modeling, and Validating Complex Automotive Systems
SAE Technical Papers | 2014
|