nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A unified tool for performance modelling and prediction
|
Gilmore, Stephen |
|
2005 |
89 |
1 |
p. 17-32 16 p. |
artikel |
2 |
Calendar
|
|
|
2005 |
89 |
1 |
p. 118-120 3 p. |
artikel |
3 |
Critical feature analysis of a radiotherapy machine
|
Rae, Andrew |
|
2005 |
89 |
1 |
p. 48-56 9 p. |
artikel |
4 |
Dependable communication synthesis for distributed embedded systems
|
Kandasamy, Nagarajan |
|
2005 |
89 |
1 |
p. 81-92 12 p. |
artikel |
5 |
Duo duplex drive-by-wire computer system
|
Rooks, Oliver |
|
2005 |
89 |
1 |
p. 71-80 10 p. |
artikel |
6 |
Enhancing software safety by fault trees: experiences from an application to flight critical software
|
Weber, Wolfgang |
|
2005 |
89 |
1 |
p. 57-70 14 p. |
artikel |
7 |
Evaluation of air traffic management procedures—safety assessment in an experimental environment
|
Pasquini, Alberto |
|
2005 |
89 |
1 |
p. 105-117 13 p. |
artikel |
8 |
Measuring reuse in hazard analysis
|
Smith, Shamus P. |
|
2005 |
89 |
1 |
p. 93-104 12 p. |
artikel |
9 |
Safety, reliability and security of industrial computer systems
|
Anderson, Stuart |
|
2005 |
89 |
1 |
p. 1-5 5 p. |
artikel |
10 |
Trust case: justifying trust in an IT solution
|
Górski, J. |
|
2005 |
89 |
1 |
p. 33-47 15 p. |
artikel |
11 |
Web service availability—impact of error recovery and traffic model
|
Martinello, Magnos |
|
2005 |
89 |
1 |
p. 6-16 11 p. |
artikel |