Showing results 1 to 2 of 2
Application of statecharts and table methods to formal specification of the NPP trip function requirements = 원자력발전소 트립기능 요건의 정형적 명세를 위한 Statecharts와 테이블 방법 응용에 관한 연구link Seo, Ho-Joon; 서호준; et al, 한국과학기술원, 1999 |
Formal Modeling and Verification of Safety-Critical Software Yoo J.; Jee, Eunk Young; Cha S., IEEE SOFTWARE, v.26, no.3, pp.42 - 49, 2009 |
Discover