1 ""대형 수송함(LPX) 지휘무장통제체계 체계/부체계 규격서" 국방과학연구소 2004.01
2 "통신망의 성능 분석을 위한 신뢰성에 관한 연구" 211-222, 2001
3 "대형 수송함(LPX) 지휘무장통제체계 전투체계데이터버스(CSDB) 주장비 개발 사양서" 국방과학연구소 2003.09
4 "SYREL : A Symbolic Reliability Algorithm Based on Path and Cutset Methods IEEE Trans. on Reliability" 36 : 12241232-1987,
5 "IEEE Trans. On Computers" c-27 : 509516-, 1978.
6 "Hierarchical reduction Method for Analysis and decomposition of Petri Nets IEEE Trans. on Systems" smc-15 : 272-280, mar./apr.1985.
7 "Englewood Cliffs" 1981.
8 "Dependability Modeling Using Petri-Net" 44 (44): 428-440, 1995.09
9 "D-Timed Petri Nets and Modelling of Timeouts and Protocols Trans. of the SCS" 4 : 331357-, oct.1988.
10 "An Improved method for network reliability IEEE Trans. on Reliability" r-28 : 5861-, 1979.
1 ""대형 수송함(LPX) 지휘무장통제체계 체계/부체계 규격서" 국방과학연구소 2004.01
2 "통신망의 성능 분석을 위한 신뢰성에 관한 연구" 211-222, 2001
3 "대형 수송함(LPX) 지휘무장통제체계 전투체계데이터버스(CSDB) 주장비 개발 사양서" 국방과학연구소 2003.09
4 "SYREL : A Symbolic Reliability Algorithm Based on Path and Cutset Methods IEEE Trans. on Reliability" 36 : 12241232-1987,
5 "IEEE Trans. On Computers" c-27 : 509516-, 1978.
6 "Hierarchical reduction Method for Analysis and decomposition of Petri Nets IEEE Trans. on Systems" smc-15 : 272-280, mar./apr.1985.
7 "Englewood Cliffs" 1981.
8 "Dependability Modeling Using Petri-Net" 44 (44): 428-440, 1995.09
9 "D-Timed Petri Nets and Modelling of Timeouts and Protocols Trans. of the SCS" 4 : 331357-, oct.1988.
10 "An Improved method for network reliability IEEE Trans. on Reliability" r-28 : 5861-, 1979.
11 "An Efficient Methods for Reliability Evaluation of a General Networks IEEE Trans. on reliability" r-27 : 206211-, 1978.
12 "A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems" Ajmone-Marsan A. 2 : 93122-, 1984.
13 "1988. A Fast Algorithm for the Performance Index of a Telecommunication Network. IEEE Trans. Reliability. 37 : 65-69."