Showing results 1 to 5 of 5
Coloured petri nets을 이용하는 안전성 분석 = Safety analysis using coloured petri netslink 조승모; Cho, Seung-Mo; et al, 한국과학기술원, 1996 |
HDTL을 이용한 병렬 자바 프로그램의 모니터링과 검사 조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.6, pp.345 - 354, 2002-06 |
Specification and analysis of dynamic systems using temporal logic = 동적 시스템 명세를 위한 시제논리와 분석link Cho, Seung-Mo; 조승모; et al, 한국과학기술원, 2002 |
동적 시스템 명세를 위한 시제논리언어와 그 검증 조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.8, pp.450 - 464, 2002-08 |
병렬 객체지향 시스템의 검증 조승모; 김영곤; 배두환; 변성원; 김상택, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.1, pp.1 - 12, 2000 |
Discover