Specification of real-time and hybrid systems in FOCUS
TUM I ; 9627
1996
19 S
graph. Darst
Report
Englisch
British Library Conference Proceedings | 2000
|Making real-time systems fault tolerant: a specification-based approach
Tema Archiv | 2010
|Towards Real-Time System Specification and Design
SAE Technical Papers | 1996
|Towards real-time system specification and design
Kraftfahrwesen | 1996
|