AI 본문요약

엑셀 다운로드 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

참고문헌 (36)

1. 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 

2. Richard H. Thayer and Merlin Dorfman, System and Software Requirements Engineering, IEEE Computer Society Press, 1990 

3. 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 

4. B. P. Zeigler, H. Praehofer and T. G. Kim, Theory of Modeling and Simulation(2nd ed.), Academic Press, 2000 

5. Edward C. Russell, Building Simulation Models with SIMSCRIPT II.5, CACI, 1983 

6. 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 

7. K. J. Hong and T. G. Kim, 'Timed I/O Test Sequences for Discrete Event Model Verification,' LNAI 3397, pp.275-284, 2005 

8. R. G. Sargent, 'Verification and validation of simulation models,' Proc. of the 2003 Winter Simulation Conference, vol. 1, pp. 27-48, December 2003 

9. R. Dumke, C. Rautenstrauch, A. Schmietendorf and A. Scholz(Eds.), Performance Engineering: State of the Art and Current Trends, Springer, 2001 

10. Jerry Banks and John S. Carson, II, Discrete-Event System Simulation, Prentice Hall, 1984 

11. Donald F. Stanat and David F. McAllister, Discrete Mathematics in Computer Science, Prentice Hall, 1977 

12. Zohar Manna and Amir Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992 

13. C. A. R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985 

14. Robin Milner, Communication and Concurrency, Prentice Hall, 1989 

15. Peter W. Glynn, 'Special issue: Generalized semi- Markov processes,' Discrete Event Dynamic Systems: Theory and Application 6, 1996 

16. Raymond Cuninghame-Green, Minimax Algebra, Springer-Verlag, 1979 

17. Arthur. Gill, Introduction to the Theory of Finite- State Machines, Mc-Graw Hill, 1962 

18. James Lyle Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, June 1981 

19. Zvi Kohavi, Switching and Finite Automata Theory 2nd Edition, McGraw-Hill, 1978 

20. 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 

21. Jiacun Wang, Timed Petri Nets: Theory and Application(The international Series on Discrete Event Dynamic Systems), Springer, October 1998 

22. B. P. Zeigler, Theory of Modeling and Simulation, John Wiley & Sons, 1976 

23. 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 

24. Bjarne Stroustrup, The C++ Programming Language, Addison Wesley, 1986 

25. O. Dahl and K. Nygaard, 'SIMULA - An ALGOLbased Simulation Language,' Communications of ACM, vol. 9., no. 9, pp. 671-678, 1966 

    상세보기

26. Paul K. Davis, Generalizing concepts and methods of verification, validation and accreditation(VV&A) for military simulations, Rand, 1992 

27. K. G. Larsen and A. Skou, Computer Aided Verification, Springer-Verlag, 1991 

28. Michael K. Sain, Introduction to Algebraic System Theory, Academic Press, 1981 

29. 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 

30. Krzysztof R. Apt and Ernst-Rudiger Olderog, Verification of Sequential and Concurrent Programs, Springer-Verlag, 1991 

31. IEEE std. 1516-2000, 'IEEE Standard for Modeling and Simulation(M&S) High Level Architecture(HLA),' IEEE Computer Society, September 2000 

32. R. Frost, 'Simulation based acquisition - an ongoing look,' Proc. of 1999 INCOSE, 1999 

33. 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 

34. 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 

35. 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 

36. C. Cassandras, Discrete Event Systems: Modeling and Performance Analysis, IRWIN, 1993 

저자의 다른 논문 :

김탁곤 (52)