An automated tool to facilitate code translation for software fault tree analysis.
Approved for public release; distribution is unlimited. === A safe system is defined as a system that prevents unsafe states from producing safety failures, where an unsafe state is defined as a state that may lead to safety failure unless some specific action is taken to avert it. The problem that...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en_US |
| Published: |
Monterey, California. Naval Postgraduate School
2014
|
| Online Access: | http://hdl.handle.net/10945/39987 |