![](/img/cover-not-exists.png)
[IEEE 2010 2nd International Conference on Reliability, Safety and Hazard - Risk-Based Technologies and Physics-of-Failure Methods (ICRESH) - Mumbai, India (2010.12.14-2010.12.16)] 2010 2nd International Conference on Reliability, Safety and Hazard - Risk-Based Technologies and Physics-of-Failure Methods (ICRESH) - Making formal software specification easy
Arun, Babu P., Murali, N., Swaminathan, P., Senthil, Kumar C.Year:
2010
Language:
english
DOI:
10.1109/icresh.2010.5779603
File:
PDF, 551 KB
english, 2010