Toward high assurance software systems with adaptive fault management.
- Published in:
- Software Quality Journal, 2016, v. 24, n. 1, p. 65, doi. 10.1007/s11219-014-9264-0
- By:
- Publication type:
- Article
Works matching IS 09639314 AND DT 2016 AND VI 24 AND IP 1
Results: 9
1
2
Assessing vulnerability exploitability risk using software properties.
- Published in:
- Software Quality Journal, 2016, v. 24, n. 1, p. 159, doi. 10.1007/s11219-015-9274-6
- By:
- Publication type:
- Article
3
Finding fault with fault injection: an empirical exploration of distortion in fault injection experiments.
- Published in:
- Software Quality Journal, 2016, v. 24, n. 1, p. 7, doi. 10.1007/s11219-014-9261-3
- By:
- Publication type:
- Article
4
Special issue on High Assurance Systems Engineering.
- Published in:
- 2016
- By:
- Publication type:
- Editorial
5
Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories.
- Published in:
- Software Quality Journal, 2016, v. 24, n. 1, p. 37, doi. 10.1007/s11219-014-9259-x
- By:
- Publication type:
- Article
6
Experiences with software-based soft-error mitigation using AN codes.
- Published in:
- Software Quality Journal, 2016, v. 24, n. 1, p. 87, doi. 10.1007/s11219-014-9260-4
- By:
- Publication type:
- Article
7
In this issue.
- Published in:
- 2016
- By:
- Publication type:
- Editorial
8
Certifying a java type resolution function using program transformation, annotation, and reflection.
- Published in:
- Software Quality Journal, 2016, v. 24, n. 1, p. 115, doi. 10.1007/s11219-014-9262-2
- By:
- Publication type:
- Article
9
Normalizing variations in feature vector structure in keystroke dynamics authentication systems.
- Published in:
- Software Quality Journal, 2016, v. 24, n. 1, p. 137, doi. 10.1007/s11219-014-9263-1
- By:
- Publication type:
- Article