| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories
|
Bauch, Petr
|
|
2014
|
24 |
1 |
p. 37-63
|
artikel
|
| 2 |
Assessing vulnerability exploitability risk using software properties
|
Younis, Awad
|
|
2015
|
24 |
1 |
p. 159-202
|
artikel
|
| 3 |
Certifying a java type resolution function using program transformation, annotation, and reflection
|
Winter, Victor
|
|
2014
|
24 |
1 |
p. 115-135
|
artikel
|
| 4 |
Experiences with software-based soft-error mitigation using AN codes
|
Hoffmann, Martin
|
|
2014
|
24 |
1 |
p. 87-113
|
artikel
|
| 5 |
Finding fault with fault injection: an empirical exploration of distortion in fault injection experiments
|
Kouwe, Erik van der
|
|
2014
|
24 |
1 |
p. 7-36
|
artikel
|
| 6 |
In this issue
|
Harrison, Rachel
|
|
2016
|
24 |
1 |
p. 1
|
artikel
|
| 7 |
Normalizing variations in feature vector structure in keystroke dynamics authentication systems
|
Syed, Zahid
|
|
2014
|
24 |
1 |
p. 137-157
|
artikel
|
| 8 |
Special issue on High Assurance Systems Engineering
|
Clarke, Peter J.
|
|
2016
|
24 |
1 |
p. 3-5
|
artikel
|
| 9 |
Toward high assurance software systems with adaptive fault management
|
Rinsaka, Koichiro
|
|
2014
|
24 |
1 |
p. 65-85
|
artikel
|
Tijdschrift beschrijving