1 |
G. P. Hong md T. G. Kim, 'A Framework for Verifying Disc-ete Event Models within a DEVS-based System Development Methodology,' Trans. Society for Computer Simulation International, vol. 13, pp. 19-34, 1996
|
2 |
K.J. Hong and T.G. Kim, 'DEVSpecL-DEVS Specification Language for Modeling, Simulation and Analysis of Discrete Event Systems,' Information and Software Technology pp.221-234, vol. 48, No.4, 2006
DOI
ScienceOn
|
3 |
C. Thomas, H. Luckhoff, and T.G. Kim, 'OpenDEVS: A Proposal for a Standardized DEVS Model Exchange Format,' Proc.6th Com. AI, Simul, Planning in High Autonomous Systems, pp. 371-377, 1996
|
4 |
R. Milner, Communication and Concurrency, Prentice Hall, 1989
|
5 |
M. H. Hwang and F. Lin, 'State Minimization of SP-DEVS,' Lecture Notes in Computer Science, vol. 3397, pp.243-252, Springer 2005
|
6 |
R.Cleavaland, J. Parrow, B. Steffen, 'Testing Equivalence as a Bisimulation Equivalence,' Automatic Verification Methods for Finite State Systems, LNCS 407, pp.11-23, Springer, 1989
|
7 |
B. P. Zeigler, Multifacetted Modelling and Discrete Event Simulation, Academic Press, 1984
|
8 |
H.S. Song and T.G. Kim, 'Application of Real-Time DEVSto Analysis of Safety-Critical Embedded Control Systems: Railroad Crossing Control Example,' Simulation, vol. 81, No.2,pp. 119-136, 2005
DOI
|
9 |
김탁곤 외, 프로세스 명세에 관한 동적 행위 분석기법에 관한 연구, 시스템공학연구소 연구보고서, 1998
|