참고문헌
- B. P. Zeigler, Multifacetted Modelling and Discrete Event Simulation. Academic Press. 1984
- D. M. Lewis, "A hierarchical compiled code even-driven logic simulator," IEEE Transactions on Computer-Aided Design, vol. 10, no. 6, pp. 726-737, 1991 https://doi.org/10.1109/43.137501
- W. B. Lee, T. G. Kim, "Performance Evaluation of Concurrent System Using Formal Model: Simulation Speedup", IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. E86-A, no. 11, pp: 755-2766, Nov. 2003
- A. I. Concepcion, and B. F. Zeigler, "DEVS Formalism: A Framework for Hierarchical Model Development", IEEE Trans. on Software Engineering, vol. 14, no. 2, Feb. 1988
- K. J. Hong and T. G. Kim, "DEVSIF : Relational Algebraic DEVS Intermediate Format," Proceedings of AIS'2000, Tucson, Arizona, U.S.A., 2000
- G. P. Hong and Tag G. Kim, "A Framework for Verifying Discrete Event Models Within a DEVS-Based System Development Methodology," Transactions of the Society for Computer Simulation, vol. 13, no. 1, pp.19-34, 1996
- C. Thomas, H. Luckhoff, and T. G. Kim, "OpenDEVS: A Proposal for a Standardized DEVS Model Exchange Format", Proc. of AIS '96, pp. 371-377
- T. G. Kim, and S. B. Park, "The DEVS Formalism: Hierarchical Modular Systems Specification in C++" In Proceedings of the 1992 European Simulation Multiconference, pp.152-156, 1992
- Y. G. Kim and T. G. Kim, "Optimization of Model Execution Time in the DEVSim++ Environment". In Proc. of 1997 European Simulation Symposium, pp. 215-219, Oct. 1997, Passau, Germany
- D. Baezner, G. Lomow, and B.W. Unger. "Sim++: The Transition to Distributed Simulation." In Proceedings of the SCS Multiconference on Distributed Simulation, 1990
- J. W. J. Williams. Algorithm 232 - Heapsort, Communications of the ACM 7(6): 347-348, 1964