nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Highly Dependable Computing Architecture for Safety-CriticalControl Applications
|
Bernd J. Krämer |
|
1997 |
13 |
3 |
p. 237-251 15 p. |
artikel |
2 |
A Highly Dependable Computing Architecture for Safety-Critical Control Applications
|
Krämer, Bernd J. |
|
1997 |
13 |
3 |
p. 237-251 |
artikel |
3 |
A Systematic Approach to the Petri Net Based Specificationof Concurrent Systems
|
Antonino Mazzeo |
|
1997 |
13 |
3 |
p. 219-236 18 p. |
artikel |
4 |
A Systematic Approach to the Petri Net Based Specification of Concurrent Systems
|
Mazzeo, Antonino |
|
1997 |
13 |
3 |
p. 219-236 |
artikel |
5 |
Building Large, Complex, Distributed Safety-Critical OperatingSystems
|
Horst F. Wedde |
|
1997 |
13 |
3 |
p. 277-302 26 p. |
artikel |
6 |
Building Large, Complex, Distributed Safety-Critical Operating Systems
|
Wedde, Horst F. |
|
1997 |
13 |
3 |
p. 277-302 |
artikel |
7 |
Editorial
|
Bernd J. Krämer |
|
1997 |
13 |
3 |
p. 217-218 2 p. |
artikel |
8 |
Editorial
|
Krämer, Bernd J. |
|
1997 |
13 |
3 |
p. 217-218 |
artikel |
9 |
The ProCoS Approach to Correct Systems
|
Hans Langmaack |
|
1997 |
13 |
3 |
p. 253-275 23 p. |
artikel |
10 |
The ProCoS Approach to Correct Systems
|
Langmaack, Hans |
|
1997 |
13 |
3 |
p. 253-275 |
artikel |