Showing results 1 to 1 of 1
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