메뉴 건너뛰기




Volumn , Issue , 2005, Pages 16-21

DEVS framework and toolkits for simulators interoperation using HLA/RTI

Author keywords

DEVS formalism; DEVSimHLA; HLA RTI; Simulators interoperation

Indexed keywords

DISCRETE EVENT SIMULATION; SPECIFICATIONS;

EID: 77951584016     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (8)

References (11)
  • 5
    • 0005497117 scopus 로고
    • Dept. of EECS, KAIST
    • T. G. Kim, DEVSim++ User's Manual, SMSLab, Dept. of EECS, KAIST, 1994, http://smslab.kaist.ac.kr
    • (1994) DEVSim++ User's Manual
    • Kim, T.G.1
  • 7
    • 0031248794 scopus 로고    scopus 로고
    • A real-time discrete event system specification formalism for seamless real-time software development
    • J. S. Hong, H. S. Song, T. G. Kim, and K. H. Park, A Real-time Discrete Event System Specification Formalism for Seamless Real-time Software Development, in Discrete Event Dynamic Systems, Vol. 7, no. 4, 1997, pp. 355-375.
    • (1997) Discrete Event Dynamic Systems , vol.7 , Issue.4 , pp. 355-375
    • Hong, J.S.1    Song, H.S.2    Kim, T.G.3    Park, K.H.4
  • 8
    • 0030092656 scopus 로고    scopus 로고
    • A framework for verifying discrete event models within a DEVS-based system development methodology
    • G. P. Hong and T. G. Kim, A Framework for verifying discrete event models within a DEVS-based system development methodology, in Transaction of the Society for Computer Simulation International, Vol. 13, no. 1, 1996, pp. 19-34.
    • (1996) Transaction of the Society for Computer Simulation International , vol.13 , Issue.1 , pp. 19-34
    • Hong, G.P.1    Kim, T.G.2
  • 9
    • 0000682278 scopus 로고
    • DEVS framework for modelling, simulation, analysis, and design of hybrid systems
    • Springer Verlag
    • B. P. Zeigler, H. S. Song, T. G. Kim and H. Praehofer, DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems, in Hybrid Systems, LNCS 999. Springer Verlag, 1995, pp. 529-555.
    • (1995) Hybrid Systems, LNCS 999 , pp. 529-555
    • Zeigler, B.P.1    Song, H.S.2    Kim, T.G.3    Praehofer, H.4
  • 11
    • 84902453918 scopus 로고    scopus 로고
    • http://hlatest.msiac.dmso.mil/compliant-feds.html


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.