Showing results 1 to 2 of 2
Development of a tool for knowledge base verification of expert system based on Design/CPN = Design/CPN에 기초를 둔 전문가 시스템의 지식기반 확인을 위한 도구의 개발link Kim, Jong-Hyun; 김종현; et al, 한국과학기술원, 1998 |
Modeling of computerized procedure execution with State Token Petri Net for formal verification of procedure flow Kim, Yun Goo; Seong, Poong Hyun, JOURNAL OF NUCLEAR SCIENCE AND TECHNOLOGY, v.49, no.1-2, pp.173 - 181, 2012-01 |
Discover