Real-Time Computation: A Formal Definition and its Applications
INTERNATIONAL JOURNAL OF COMPUTERS AND APPLICATIONS ; 25 ; 247-257
01.01.2003
11 pages
Aufsatz (Zeitschrift)
Englisch
DDC: | 004.16 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Structuring the formal definition of Ada
NTRS | 1986
|Computation-based reliability analysis in real time applications
Tema Archiv | 1978
|Formal Analysis for Real-Time Scheduling
British Library Conference Proceedings | 2000
|Formal analysis for real-time scheduling
Tema Archiv | 2000
|