A formal method and environment for manufacturing systems command part specification and validation
JOURNAL EUROPEEN DES SYSTEMES AUTOMATISES ; 30 , 4 ; 463-490
01.01.1996
28 pages
Aufsatz (Zeitschrift)
Französisch
DDC: | 629.89 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Specification Method for Systems Automation
British Library Online Contents | 2006
|Formal Specification of Railway Control Systems
Springer Verlag | 2013
|Discussion on: "Formal Specification Method for Systems Automation"
British Library Online Contents | 2006
|The specification of surface naval command systems
Tema Archiv | 1987
|