| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Additional pearl language structures for the implementation of reliable and inherently safe real-time systems
|
Halang, W.A.
|
|
1988
|
21 |
3 |
p. 35-42
8 p.
|
artikel
|
| 2 |
A model for a hard real time system executive
|
Gafni, V.
|
|
1988
|
21 |
3 |
p. 69-74
6 p.
|
artikel
|
| 3 |
Applying the principle of separation of concerns in software development
|
Mitchell, R.J.
|
|
1988
|
21 |
3 |
p. 21-27
7 p.
|
artikel
|
| 4 |
A real-time system for robot manipulator inverse dynamics computation
|
Machado, J.A.T.
|
|
1988
|
21 |
3 |
p. 63-68
6 p.
|
artikel
|
| 5 |
Author Index
|
|
|
1988
|
21 |
3 |
p. 87-
1 p.
|
artikel
|
| 6 |
Correctness verification of real-time programs
|
Szmuc, T.
|
|
1988
|
21 |
3 |
p. 1-6
6 p.
|
artikel
|
| 7 |
Formal specification
|
Szlankó, J.
|
|
1988
|
21 |
3 |
p. 83-
1 p.
|
artikel
|
| 8 |
Lotos based derivation methodology in the prodat project
|
Fernández, A.
|
|
1988
|
21 |
3 |
p. 7-13
7 p.
|
artikel
|
| 9 |
Microprocessor based development tool – design and realization of SISO controllers
|
Palmgren, B.
|
|
1988
|
21 |
3 |
p. 57-62
6 p.
|
artikel
|
| 10 |
Programming languages for real-time applications
|
Haase, V.
|
|
1988
|
21 |
3 |
p. 85-
1 p.
|
artikel
|
| 11 |
Specification, design and modula-2 implementation of a low cost industrial control system
|
Garcia, D.
|
|
1988
|
21 |
3 |
p. 51-56
6 p.
|
artikel
|
| 12 |
Supporting tool for object oriented design of real time applications
|
Alrebdawi, G.
|
|
1988
|
21 |
3 |
p. 29-33
5 p.
|
artikel
|
| 13 |
The creative step in designing real-time software
|
Tempelmeier, T.
|
|
1988
|
21 |
3 |
p. 15-20
6 p.
|
artikel
|
| 14 |
The spy: A mechanism for safe implementation of highly concurrent systems
|
Velilla, S.
|
|
1988
|
21 |
3 |
p. 75-81
7 p.
|
artikel
|
| 15 |
The use of standard software in real time programming: An example demonstrating the integration of ADA, Oracle and GKS
|
Fritz, W.
|
|
1988
|
21 |
3 |
p. 43-49
7 p.
|
artikel
|
Tijdschrift beschrijving