| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Dual-Computer Based Data Acquisition and Control System Using Xenix/Unix System V
|
Koppány, J.
|
|
1986
|
19 |
7 |
p. 123-126
4 p.
|
artikel
|
| 2 |
A Framework for Fault Tolerant Design Using Abstract Data Types
|
Kelly, M.B.
|
|
1986
|
19 |
7 |
p. 39-43
5 p.
|
artikel
|
| 3 |
A Knowledge-Representation for Diagnosis of Dynamical Systems
|
Kumagai, N.
|
|
1986
|
19 |
7 |
p. 27-37
11 p.
|
artikel
|
| 4 |
A Paradigm for the Development of Distributed Systems
|
Bull, G.M.
|
|
1986
|
19 |
7 |
p. 57-65
9 p.
|
artikel
|
| 5 |
Artex — A Real-Time Executive for Distributed Process Control
|
Pettersen, O.
|
|
1986
|
19 |
7 |
p. 101-111
11 p.
|
artikel
|
| 6 |
Author Index
|
|
|
1986
|
19 |
7 |
p. 127-
1 p.
|
artikel
|
| 7 |
Development of Realtime Systems: Specifying Functional and Parallel Behaviour Formally
|
Goedicke, M.
|
|
1986
|
19 |
7 |
p. 67-79
13 p.
|
artikel
|
| 8 |
Digital Signal Processors. A Tutorial
|
Hailing, H.
|
|
1986
|
19 |
7 |
p. 45-56
12 p.
|
artikel
|
| 9 |
Fluide: An Operating Environment for Extensible Multiprocessors
|
Skubich, J.
|
|
1986
|
19 |
7 |
p. 1-9
9 p.
|
artikel
|
| 10 |
Foreword
|
Szlankó, János
|
|
1986
|
19 |
7 |
p. vi-
1 p.
|
artikel
|
| 11 |
Formal Specification of a Real Time Multiprogramming Kernel
|
Gorski, J.
|
|
1986
|
19 |
7 |
p. 93-99
7 p.
|
artikel
|
| 12 |
Formal Specification of Real-Time Software Systems. An Industrial Example
|
de la Puente, J.A.
|
|
1986
|
19 |
7 |
p. 113-121
9 p.
|
artikel
|
| 13 |
Mapping an Algebraic Specification Onto a Modula-2-Program
|
Ditt, W.
|
|
1986
|
19 |
7 |
p. 11-18
8 p.
|
artikel
|
| 14 |
Perspectives of Automatic Real-Time Program Synthesis
|
Banaszak, Z.
|
|
1986
|
19 |
7 |
p. 19-26
8 p.
|
artikel
|
| 15 |
Problems Of Real Time Scheduling
|
Leigh, D.J.
|
|
1986
|
19 |
7 |
p. 87-91
5 p.
|
artikel
|
| 16 |
Rtunix — One Step Towards Real-Time Unix
|
Tempelmeier, T.
|
|
1986
|
19 |
7 |
p. 81-85
5 p.
|
artikel
|
Tijdschrift beschrijving