Showing results 1 to 2 of 2
Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application Son, HS; Seong, Poong-Hyun, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.80, no.1, pp.19 - 32, 2003-04 |
Modeling and recognition of hand gesture using colored Petri nets Wohn, Kwang-Yun; Wohn, K; Lee, Kwang-Hyung, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, v.29, no.5, pp.514 - 521, 1999-09 |
Discover