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
|Perturbation Methods with Maple and Mathematica
British Library Conference Proceedings | 1999
|Mathematica upgrade simplifies design tasks
British Library Online Contents | 1997