|
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 | Addressing dependability by applying an approach for model-based risk assessment |
Gran, Bjørn Axel |
2007 |
92 | 11 |
p. 1492-1502 11 p. |
artikel |
|
| 2 | A formal approach to the integrated analysis of security and QoS |
Aldini, Alessandro |
2007 |
92 | 11 |
p. 1503-1520 18 p. |
artikel |
|
| 3 | A SEU-protected cache memory-based on variable associativity of sets |
Zarandi, Hamid Reza |
2007 |
92 | 11 |
p. 1584-1596 13 p. |
artikel |
|
| 4 | Calendar |
2007 |
92 | 11 |
p. I-II nvt p. |
artikel |
||
| 5 | Modular formal analysis of the central guardian in the Time-Triggered Architecture |
Pfeifer, Holger |
2007 |
92 | 11 |
p. 1538-1550 13 p. |
artikel |
|
| 6 | [No title] |
Heisel, Maritta |
2007 |
92 | 11 |
p. 1489-1491 3 p. |
artikel |
|
| 7 | State/event fault trees—A safety analysis model for software-controlled systems |
Kaiser, Bernhard |
2007 |
92 | 11 |
p. 1521-1537 17 p. |
artikel |
|
| 8 | The deconstruction of safety arguments through adversarial counter-argument |
Armstrong, James M. |
2007 |
92 | 11 |
p. 1551-1562 12 p. |
artikel |
|
| 9 | Using fuzzy self-organising maps for safety critical systems |
Kurd, Zeshan |
2007 |
92 | 11 |
p. 1563-1583 21 p. |
artikel |
9 gevonden resultaten