학위논문(박사) - 한국과학기술원 : 원자력및양자공학과, 2012.8, [ vii, 117p ]
state token petri net; coloured petri net; formal verification; computerized procedure system; 상태토큰페트리넷; 색깔페트리넷; 정형검증; 전산화절차서시스템; 절차서검증; procedure verification
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.