-
1
Analyzing hard-real-time programs for guaranteed schedulability
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
2
-
3
-
4
Extending Pearl for industrial real-time applications
Veröffentlicht in IEEE software
VolltextArtikel -
5
Real-time schedulability-analyzable mechanisms in Ada9X
Veröffentlicht in Proceedings of the IEEE
VolltextArtikel -
6
Response time prediction for distributed processes specified in CaRT-Spec
Veröffentlicht in Control engineering practice
VolltextArtikel -
7
-
8
-
9
-
10
Schedulability, Program Transformations and Real-Time Programming
Veröffentlicht in IFAC Proceedings Volumes
VolltextArtikel -
11
-
12
-
13
A Checkpointing Model for Fault-Tolerant Real-Time Systems
Veröffentlicht in IFAC Proceedings Volumes
VolltextArtikel -
14
-
15
-
16
-
17
-
18
-
19
-
20