국내 저널 | Software Testing Lab.

페트리네트Slice를 이용한 페트리네트 모델의 합성적 분석(Compositional Analysis of Petri Net Models using Petri net Slices)

March 1, 2000 · One min read

이우진

담당교수

차성덕

권용래

김흥남

정보과학회논문지:소프트웨어 및 응용(Journal of The Korea Information Science Society: Software and Applications), vol. 27, no. 3, pp. 210-216, 2000년 3월.

August 1, 1999 · One min read

이우진

담당교수

채흥석

차성덕

이장수

권용래

정보과학회논문지(C)(Journal of The Korea Information Science Society(C)), vol. 26, no. 4, pp. 457-466, Aug. 1999.

February 1, 1995 · One min read

김현수

이우진

담당교수

최정훈

권용래

정보과학회논문지(Journal of The Korea Information Science Society), vol. 22, no. 2, pp. 326-336, 1995. 02.

January 1, 1995 · One min read

이우진

담당교수

정인상

권용래

정보과학회논문지(Journal of The Korea Information Science Society), vol. 22, no. 1, pp. 79-87, 1995. 01.