참고문헌
- T.G. Kim, http://sim.kaist.ac.kr/Course/EE612/, Lecture Note on EE612: Discrete Event Systems Modeling and Simulation, Department of EECS, KAIST, 2007
- Richard H. Thayer and Merlin Dorfman, System and Software Requirements Engineering, IEEE Computer Society Press, 1990
- T. G. Kim and C. H. Sung, 'Objective-driven DEVS Modeling Using OPI Matrix for Performance Evaluation of Discrete Event Systems,' Proc. of 2007 Summer Computer Simulation Conference(SCSC' 2007), pp.305-311, San Diego, California, USA, 2007
- B. P. Zeigler, H. Praehofer and T. G. Kim, Theory of Modeling and Simulation(2nd ed.), Academic Press, 2000
- Edward C. Russell, Building Simulation Models with SIMSCRIPT II.5, CACI, 1983
- T. G. Kim and J. H. Kim, 'DEVS Framework and Toolkits for Simulators Interoperation Using HLA/RTI,' Proc. of Asia Simulation Conference/the 6th International conference on System Simulation and Scientific Computing, pp.16-21, China, October 2005
- K. J. Hong and T. G. Kim, 'Timed I/O Test Sequences for Discrete Event Model Verification,' LNAI 3397, pp.275-284, 2005
- R. G. Sargent, 'Verification and validation of simulation models,' Proc. of the 2003 Winter Simulation Conference, vol. 1, pp. 27-48, December 2003
- R. Dumke, C. Rautenstrauch, A. Schmietendorf and A. Scholz(Eds.), Performance Engineering: State of the Art and Current Trends, Springer, 2001
- Jerry Banks and John S. Carson, II, Discrete-Event System Simulation, Prentice Hall, 1984
- Donald F. Stanat and David F. McAllister, Discrete Mathematics in Computer Science, Prentice Hall, 1977
- Zohar Manna and Amir Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992
- C. A. R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985
- Robin Milner, Communication and Concurrency, Prentice Hall, 1989
- Peter W. Glynn, 'Special issue: Generalized semi- Markov processes,' Discrete Event Dynamic Systems: Theory and Application 6, 1996
- Raymond Cuninghame-Green, Minimax Algebra, Springer-Verlag, 1979
- Arthur. Gill, Introduction to the Theory of Finite- State Machines, Mc-Graw Hill, 1962
- James Lyle Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, June 1981
- Zvi Kohavi, Switching and Finite Automata Theory 2nd Edition, McGraw-Hill, 1978
- G. Noubir, Daniel R. Stephenes and Prasad Raja, 'Specification of timed finite state machine in Z for distributed real-time systems,' Proc. of the IEEE 4th Workshop on Future Trends in Distributed Computing Systems, pp.319-325, Lisbon, Portugal, 1993
- Jiacun Wang, Timed Petri Nets: Theory and Application(The international Series on Discrete Event Dynamic Systems), Springer, October 1998
- B. P. Zeigler, Theory of Modeling and Simulation, John Wiley & Sons, 1976
- William H. Press, Saul A. Teukolsky, William T. Vetterling and Brian P. Flannery, Numerical Recipes 3rd Edition: The Art of Scientific Computing, Cambridge University Press, 2007
- Bjarne Stroustrup, The C++ Programming Language, Addison Wesley, 1986
- O. Dahl and K. Nygaard, 'SIMULA - An ALGOLbased Simulation Language,' Communications of ACM, vol. 9., no. 9, pp. 671-678, 1966 https://doi.org/10.1145/365813.365819
- Paul K. Davis, Generalizing concepts and methods of verification, validation and accreditation(VV&A) for military simulations, Rand, 1992
- K. G. Larsen and A. Skou, Computer Aided Verification, Springer-Verlag, 1991
- Michael K. Sain, Introduction to Algebraic System Theory, Academic Press, 1981
- Kim G. Larsen and Yi Wang, 'Time Abstracted Bisimulation: Implicit Specifications and Decidability,' Proc. 9th International Conference on the Mathematical Foundations of Programming Semantics, New Orleans, LA, USA, 1993
- Krzysztof R. Apt and Ernst-Rudiger Olderog, Verification of Sequential and Concurrent Programs, Springer-Verlag, 1991
- IEEE std. 1516-2000, 'IEEE Standard for Modeling and Simulation(M&S) High Level Architecture(HLA),' IEEE Computer Society, September 2000
- R. Frost, 'Simulation based acquisition - an ongoing look,' Proc. of 1999 INCOSE, 1999
- J.H. Kim, T.G. Kim and J. Jeong, 'Embedding DEVS Methodology in CBD Process for Development of War Game Simulators,' Poster Session, Proc. of 2007 Summer Sim. Conference, San Diego, USA, 2007
- Y.J. Kim, J.H. Kim and T.G. Kim, 'Heterogeneous Simulation Framework Using DEVS BUS, Simulation,' vol. 79, no. 1, pp. 3-18, 2003
- Alex C. Chow and B. P. Zeigler, 'Parallel DEVS: A parallel, hierarchical, modular modeling formalism,' Proc. of 1994 Winter Simulation Conference, Orlando, Florida, USA, 1994
- C. Cassandras, Discrete Event Systems: Modeling and Performance Analysis, IRWIN, 1993