Formal Specification of Software Critical Systems with Agents
Aerospace applications conference ; 1995 ; Snowmass; CO
1995-01-01
20 pages
IEEE cat no 95TH8043; May be asked for as being held, Snowmass at Aspen, CO and being the 16th in this annual series of winter conferences
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal System Specification and Testing of Critical Real-time Vehicle Control Software
British Library Conference Proceedings | 1994
|Formal specification and verification of Ada software
AIAA | 1991
|Formal specification and verification of Ada software
NTRS | 1991
|