Formal System Specification and Testing of Critical Real-time Vehicle Control Software
1st World congress on applications of transport telematics and intelligent vehicle-highway systems, Towards an intelligent transport system ; 1994 ; Paris
Towards an intelligent transport system ; 2230-2237
1994-01-01
8 pages
In 6 vols
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Specification of Software Critical Systems with Agents
British Library Conference Proceedings | 1995
|Formal specification and verification of Ada software
NTRS | 1991
|Formal specification and verification of Ada software
AIAA | 1991
|