Search
Results 1-1 of 1 (Search time: 0.005 seconds).
| NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
|---|---|
| SMV model-based safety analysis of software requirements Koh, Kwang Yong; Seong, Poong-Hyun, RELIABILITY ENGINEERING SYSTEM SAFETY, v.94, no.2, pp.320 - 331, 2009-02 |