Formal Specification Method for Systems Automation
EUROPEAN JOURNAL OF CONTROL ; 12 , 2 ; 115-130
01.01.2006
16 pages
Aufsatz (Zeitschrift)
Englisch
DDC: | 629.895 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Discussion on: "Formal Specification Method for Systems Automation"
British Library Online Contents | 2006
|Formal Specification of Railway Control Systems
Springer Verlag | 2013
|Formal Specification of Software Critical Systems with Agents
British Library Conference Proceedings | 1995
|Formal specification of the TCAS protocol
AIAA | 1993
|