- Record: found
- Abstract: not found
- Book Chapter: not found
FME '93: Industrial-Strength Formal Methods
Role of VDM(++) in the development of a real-time tracking and tracing system
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references5
- Record: found
- Abstract: not found
- Book: not found
mural: A Formal Development Support System
C. B. Jones, K. D. Jones, P. A. Lindsay … (1991)
- Record: found
- Abstract: not found
- Book: not found
Ada in safety critical applications, Ada in Industry, proceedings of the Ada-Europe Conference
R. Holzapfel (1988)