Time Requirement Specification in Graphical Design of Real-Time Software
Workshop; 3rd, Algorithms and architectures for real-time control ; 1995 ; Ostend; Belgium
1995-01-01
8 pages
Conference paper
English
algorithms , architectures , real-time control , IFAC , BIRA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Towards Real-Time System Specification and Design
SAE Technical Papers | 1996
|Towards real-time system specification and design
Automotive engineering | 1996
|Formal System Specification and Testing of Critical Real-time Vehicle Control Software
British Library Conference Proceedings | 1994
|Specification-based testing for real-time avionic systems
IET Digital Library Archive | 1999
|