Showing results 1 to 1 of 1
Application of Statecharts and Table Methods to Formal Specification of NPP Trip Function Requirements Seo, Ho Joon; Baek, Seung Min; Seong, Poong-Hyun, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.80, pp.183 - 184, 1999-06 |
Discover