-
1
Properties of data flow frameworks: a unified model
Veröffentlicht in Acta informatica
VolltextArtikel -
2
-
3
Response time prediction for distributed processes specified in CaRT-Spec
Veröffentlicht in Control engineering practice
VolltextArtikel -
4
-
5
-
6
-
7
-
8
Conditions for incremental iteration: Examples and counterexamples
Veröffentlicht in Science of computer programming
VolltextArtikel -
9
Statically safe speculative execution for real-time systems
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
10
-
11
-
12
Formal verification of compiler transformations for speculative real-time execution
Veröffentlicht in Automatica (Oxford)
VolltextArtikel -
13
-
14
-
15
-
16
Some Nongenetic Influences on Calf Performance
Veröffentlicht in Journal of animal science
VolltextArtikel -
17
Factors Affecting Test Performance of Beef Bulls
Veröffentlicht in Journal of animal science
VolltextArtikel -
18
-
19
-
20
Schedulability-analyzable exception handling for fault-tolerant real-time languages
Veröffentlicht in Real-time systems
VolltextArtikel