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
Aufsatz (Konferenz)
Englisch
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
Kraftfahrwesen | 1996
|Formal System Specification and Testing of Critical Real-time Vehicle Control Software
British Library Conference Proceedings | 1994
|