Showing results 1 to 2 of 2
Development of a testing methodology for computerized procedure system based on junit framework and MFM = Junit 체제와 MFM 기반의 전산화절차서에 대한 테스팅 방법론 개발link Qin, Wei; Seong, Poong-Hyun; et al, 한국과학기술원, 2004 |
STATE TOKEN PETRI NET MODELING METHOD FOR FORMAL VERIFICATION OF COMPUTERIZED PROCEDURE INCLUDING OPERATOR'S INTERRUPTIONS OF PROCEDURE EXECUTION FLOW Kim, Yun Goo; Seong, Poong-Hyun, NUCLEAR ENGINEERING AND TECHNOLOGY, v.44, no.8, pp.929 - 938, 2012-12 |
Discover