|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A methodology for assessing the correctness of control programs |
Bastani, F.B. |
1984 |
11 | 2-3 |
p. 115-144 30 p. |
artikel |
|
| 2 | A new approach to program verification |
Sinha, Bhabani P. |
1984 |
11 | 2-3 |
p. 159-171 13 p. |
artikel |
|
| 3 | Bayesian reliability evaluation of computer systems |
Simkins, David J. |
1984 |
11 | 2-3 |
p. 79-86 8 p. |
artikel |
|
| 4 | Editor's notice |
1984 |
11 | 2-3 |
p. i- 1 p. |
artikel |
||
| 5 | Foreword |
1984 |
11 | 2-3 |
p. vii- 1 p. |
artikel |
||
| 6 | Hybrid reliability modeling of fault-tolerant computer systems |
Trivedi, Kishor |
1984 |
11 | 2-3 |
p. 87-108 22 p. |
artikel |
|
| 7 | On “O1-Class” computer programs |
Schorer, Peter |
1984 |
11 | 2-3 |
p. 109-114 6 p. |
artikel |
|
| 8 | Reliability and failure analyses of computing systems |
Sherif, Y.S. |
1984 |
11 | 2-3 |
p. 151-157 7 p. |
artikel |
|
| 9 | Software reliability—Theory and practice |
Hsia, Pei |
1984 |
11 | 2-3 |
p. 145-149 5 p. |
artikel |
9 gevonden resultaten