| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
ADA in process control
|
Pyle, I.C
|
|
1980
|
10 |
C |
p. 57-62
6 p.
|
artikel
|
| 2 |
A method for expressing the functional requirements of real-time systems
|
Taylor, B
|
|
1980
|
10 |
C |
p. 111-120
10 p.
|
artikel
|
| 3 |
Analysis and description of automatic control system
|
Savoysky, S
|
|
1980
|
10 |
C |
p. 45-55
11 p.
|
artikel
|
| 4 |
An interpretive approach for interactive real-time control through a network
|
Altaber, J
|
|
1980
|
10 |
C |
p. 1-7
7 p.
|
artikel
|
| 5 |
A structuring language for computer controlled multilevel systems
|
Walter, C
|
|
1980
|
10 |
C |
p. 81-89
9 p.
|
artikel
|
| 6 |
Implementation of conditional critical regions in systems using different process communication techniques
|
Schoitsch, E
|
|
1980
|
10 |
C |
p. 29-38
10 p.
|
artikel
|
| 7 |
KRTM — A kernel which supports real time multiprograms
|
Górski, J
|
|
1980
|
10 |
C |
p. 9-18
10 p.
|
artikel
|
| 8 |
List of participants
|
|
|
1980
|
10 |
C |
p. 129-131
3 p.
|
artikel
|
| 9 |
Preface
|
Haase, V.H
|
|
1980
|
10 |
C |
p. vii-
1 p.
|
artikel
|
| 10 |
Process control software specification in PCSL
|
Ludewig, J
|
|
1980
|
10 |
C |
p. 103-109
7 p.
|
artikel
|
| 11 |
Real-time features of EPOS: Formulation, evaluation and documentation
|
Biewald, J
|
|
1980
|
10 |
C |
p. 95-101
7 p.
|
artikel
|
| 12 |
Real-time process control based on a high level state language
|
Gander, J.-G
|
|
1980
|
10 |
C |
p. 91-94
4 p.
|
artikel
|
| 13 |
Requirements specifications — Today and tomorrow
|
Bianchi, Mme G
|
|
1980
|
10 |
C |
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
|
10 |
C |
p. 73-79
7 p.
|
artikel
|
| 15 |
The LTPL-E universal I/O model for real-time programming
|
Kappatsch, A
|
|
1980
|
10 |
C |
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
|
10 |
C |
p. 63-71
9 p.
|
artikel
|
| 17 |
The use of the Ada language for programming a distributed system
|
Downes, V.A
|
|
1980
|
10 |
C |
p. 39-44
6 p.
|
artikel
|
Tijdschrift beschrijving