페트리네트Slice를 이용한 페트리네트 모델의 합성적 분석(Compositional Analysis of Petri Net Models using Petri net Slices)
· 약 1분
정보과학회논문지:소프트웨어 및 응용(Journal of The Korea Information Science Society: Software and Applications), vol. 27, no. 3, pp. 210-216, 2000년 3월.
CPN 모델의 역방향 안전성 분석 도구 개발(Development of Backward Safety Analysis Tool (SAC) for CPN Model)
· 약 1분
정보과학회논문지(C)(Journal of The Korea Information Science Society(C)), vol. 26, no. 4, pp. 457-466, Aug. 1999.
차세대 지능망에서의 서비스 정의 및 검증(Definition and Verification of Services in the Advanced Intelligent Network)
· 약 1분
정보과 학회논문지(Journal of The Korea Information Science Society), vol. 22, no. 2, pp. 326-336, 1995. 02.
AttNet에 기반을 둔 분산 소프트웨어 프로세스 모델의 분석 기법(Analysis Techniques for the AttNet Based Distributed Software Process Model)
· 약 1분
정보과학회논문지(Journal of The Korea Information Science Society), vol. 22, no. 1, pp. 79-87, 1995. 01.