|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Achieving quality, safety, security and reliability in software systems |
Gritzalis, Dimitris A. |
1998 |
21 | 10 |
p. 585-586 2 p. |
artikel |
|
| 2 | Calendar |
1998 |
21 | 10 |
p. 629-632 4 p. |
artikel |
||
| 3 | Developing and checking prescriptive specification for safety improvement |
Yih, Swu |
1998 |
21 | 10 |
p. 587-594 8 p. |
artikel |
|
| 4 | Index to volume 21 (1997–1998) |
1998 |
21 | 10 |
p. 633-638 6 p. |
artikel |
||
| 5 | Modification of safety critical systems: an assessment of three approaches |
Stålhane, Tor |
1998 |
21 | 10 |
p. 611-619 9 p. |
artikel |
|
| 6 | Motivated humans for reliable software products |
Frangos, S.A. |
1998 |
21 | 10 |
p. 605-610 6 p. |
artikel |
|
| 7 | Specification composition for the verification of message passing program composition |
Cotronis, J.Y. |
1998 |
21 | 10 |
p. 595-603 9 p. |
artikel |
|
| 8 | The Cascade Vulnerability Problem: the detection problem and a simulated annealing approach for its correction |
Gritzalis, Stefanos |
1998 |
21 | 10 |
p. 621-627 7 p. |
artikel |
8 gevonden resultaten