Relevance, Integration and Classification of Specification Formalisms and Formal Specification Techniques
Conference, Formale Techniken fur die Eisenbahnsicherung ; 1999
2000-01-01
24 pages
Also known as Forms '99
Conference paper
German
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal specification of the TCAS protocol
AIAA | 1993
|Formal Specification of the TCAS Protocol
British Library Conference Proceedings | 1993
|Formal Specification of Railway Control Systems
Springer Verlag | 2013
|From Formal Specification to Verified Implementation
IEEE | 2024
|Formal Specification Method for Systems Automation
British Library Online Contents | 2006
|