Software tools for untangling safety-critical source code
Software Safety is an emerging discipline that focuses on the use of software to mitigate the risks of mishaps occurring, especially for software-intensive systems. Research on Software Safety methodology has largely focused on "front-end" of the whole safety process such as the specifi...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
2009
|
| Online Access: | http://hdl.handle.net/2429/16738 |