A formal method and environment for manufacturing systems command part specification and validation
JOURNAL EUROPEEN DES SYSTEMES AUTOMATISES ; 30 , 4 ; 463-490
1996-01-01
28 pages
Article (Journal)
French
DDC: | 629.89 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
The specification of surface naval command systems
Tema Archive | 1987
|Formal specification of the TCAS protocol
AIAA | 1993
|Towards Domain-Specific Formal Specification Languages for Railway Control Systems
British Library Conference Proceedings | 2001
|