The integration of safety analysis and functional verification techniques for software safety arguments
| Data(s) |
01/01/2004
|
|---|---|
| Identificador | |
| Idioma(s) |
eng |
| Publicador |
The University of Queensland, School of Information Technology and Electrical Engineering |
| Palavras-Chave | #Computer software -- Verification #Computer software -- Reliability #System safety #L #280302 Software Engineering #700199 Computer software and services not elsewhere classified |
| Tipo |
Thesis |
