| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
ADA in Process Control
|
Pyle, I.C.
|
|
1980
|
13 |
1 |
p. 57-62
6 p.
|
artikel
|
| 2 |
A Method for Expressing the Functional Requirements of Real-Time Systems
|
Taylor, B.
|
|
1980
|
13 |
1 |
p. 111-120
10 p.
|
artikel
|
| 3 |
Analysis and Description of Autonatic Control System
|
Savoysky, S.
|
|
1980
|
13 |
1 |
p. 45-55
11 p.
|
artikel
|
| 4 |
An Interpretive Approach for Interactive Real-Time Control Through a Network
|
Altaber, J.
|
|
1980
|
13 |
1 |
p. 1-7
7 p.
|
artikel
|
| 5 |
A Structuring Language for Computer Controlled Multilevel Systems
|
Walter, C.
|
|
1980
|
13 |
1 |
p. 81-89
9 p.
|
artikel
|
| 6 |
Implementation of Conditional Critical Regions in Systems Using Different Process Communication Techniques
|
Schoitsch, E.
|
|
1980
|
13 |
1 |
p. 29-38
10 p.
|
artikel
|
| 7 |
KRTM - A Kernel Which Supports Real Time Multiprograms
|
Górski, J.
|
|
1980
|
13 |
1 |
p. 9-18
10 p.
|
artikel
|
| 8 |
List of Participants
|
|
|
1980
|
13 |
1 |
p. 129-131
3 p.
|
artikel
|
| 9 |
Preface
|
Haase, V.H.
|
|
1980
|
13 |
1 |
p. vii-
1 p.
|
artikel
|
| 10 |
Process Control Software Specification in PCSL
|
Ludewig, J.
|
|
1980
|
13 |
1 |
p. 103-109
7 p.
|
artikel
|
| 11 |
Real-Time Features of EPOS : Formulation, Evaluation and Documentation
|
Biewald, J.
|
|
1980
|
13 |
1 |
p. 95-101
7 p.
|
artikel
|
| 12 |
Real-Time Process Control Based on a High Level State Language
|
Gander, J.G.
|
|
1980
|
13 |
1 |
p. 91-94
4 p.
|
artikel
|
| 13 |
Requirements Specifications - Today and Tomorrow
|
Bianchi, Mme G.
|
|
1980
|
13 |
1 |
p. 121-127
7 p.
|
artikel
|
| 14 |
Resource Allocation by Means Of Access-Rights, an Alternative View on Real-Time Programming?
|
Elzer, P.F.
|
|
1980
|
13 |
1 |
p. 73-79
7 p.
|
artikel
|
| 15 |
The LTPL-E Universal I/O Model for Real-Time Programming
|
Kappatsch, A.
|
|
1980
|
13 |
1 |
p. 19-28
10 p.
|
artikel
|
| 16 |
The Use of Invariants in the Application - Oriented Specification of Real Time Control Systems
|
Goldsack, S.J.
|
|
1980
|
13 |
1 |
p. 63-71
9 p.
|
artikel
|
| 17 |
The Use of the ADA Language for Programming a Distributed System
|
Downes, V.A.
|
|
1980
|
13 |
1 |
p. 39-44
6 p.
|
artikel
|
Tijdschrift beschrijving