| 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
|
14 |
P1 |
p. 35-42
8 p.
|
artikel
|
| 2 |
A model for a hard real time system executive
|
Gafni, V
|
|
1988
|
14 |
P1 |
p. 69-74
6 p.
|
artikel
|
| 3 |
Applying the principle of separation of concerns in software development
|
Mitchell, R.J
|
|
1988
|
14 |
P1 |
p. 21-27
7 p.
|
artikel
|
| 4 |
A real-time system for robot manipulator inverse dynamics computation
|
Machado, J.A.T
|
|
1988
|
14 |
P1 |
p. 63-68
6 p.
|
artikel
|
| 5 |
Author index
|
|
|
1988
|
14 |
P1 |
p. 87-
1 p.
|
artikel
|
| 6 |
Correctness verification of real-time programs
|
Szmuc, T
|
|
1988
|
14 |
P1 |
p. 1-6
6 p.
|
artikel
|
| 7 |
Formal specification
|
|
|
1988
|
14 |
P1 |
p. 83-
1 p.
|
artikel
|
| 8 |
LOTOS based derivation methodology in the PRODAT project
|
Fernández, A
|
|
1988
|
14 |
P1 |
p. 7-13
7 p.
|
artikel
|
| 9 |
Microprocessor based development tool — design and realization of siso controllers
|
Palmgren, B
|
|
1988
|
14 |
P1 |
p. 57-62
6 p.
|
artikel
|
| 10 |
Programming languages for real-time applications
|
|
|
1988
|
14 |
P1 |
p. 85-
1 p.
|
artikel
|
| 11 |
Specification, design and Modula-2 implementation of a low cost industrial control system
|
Garcia, D
|
|
1988
|
14 |
P1 |
p. 51-56
6 p.
|
artikel
|
| 12 |
Supporting tool for Object Oriented Design of Real Time Applications
|
Alrebdawi, G
|
|
1988
|
14 |
P1 |
p. 29-33
5 p.
|
artikel
|
| 13 |
The creative step in designing real-time software
|
Tempelmeier, T
|
|
1988
|
14 |
P1 |
p. 15-20
6 p.
|
artikel
|
| 14 |
The spy: A mechanism for safe implementation of highly concurrent systems
|
Velilla, S
|
|
1988
|
14 |
P1 |
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
|
14 |
P1 |
p. 43-49
7 p.
|
artikel
|
Tijdschrift beschrijving