|
Journal
|
2023 |
Verification Method for Discrete Event Simulation based on Discrete Event System Formalism
장수영 International Journal of Industrial Engineering : Theory Applications and Practice, v.30, no.5, pp.1313-1327 |
1 |
원문
|
|
Conference
|
2021 |
Formal Requirement Specification Method for Quality Assurance of Discrete Event Simulation Software
Jang Sooyoung Asia Simulation Conference (AsiaSim) 2021, pp.195-200 |
|
|
|
Journal
|
2021 |
GO-DEVS: Storage and Retrieval System for DEVS Models Using Graph and Ontology Representation
Lee Chon Hee Sensors, v.21, no.20, pp.1-20 |
0 |
원문
|
|
Journal
|
2021 |
Modeling & Simulation-Based Problem Solving Process in Sustainable Living Lab
최창범 Sustainability, v.13, no.7, pp.1-13 |
2 |
원문
|
|
Conference
|
2020 |
Design and Performance Analysis of an ATSC 3.0 Model in NS-3
Jon Montalban International Symposium on Broadband Multimedia Systems and Broadcasting (BMSB) 2020, pp.1-6 |
2 |
원문
|
|
Conference
|
2018 |
Simulation Framework for Self-Evolving Agent-based Models: A Case Study of Housing Market Model
Bae Jang Won Winter Simulation Conference (WSC) 2018, pp.1120-1131 |
4 |
원문
|
|
Conference
|
2017 |
Hybrid Modeling and Simulation of Tactical Maneuvers in Computer Generated Force
Bae Jang Won International Conference on Systems, Man and Cybernetics (SMC) 2017, pp.942-947 |
0 |
원문
|
|
Conference
|
2017 |
Component Based Agent Simulation Modeling for Self-Evolving House Market Prediction
Jung Joon Young International Conference on Human and Social Analytics (HUSO) 2017, pp.35-38 |
|
|
|
Conference
|
2013 |
Event-Driven Notation and Hierarchical Automata Semantics for Incremental Task Modeling
Rockwon Kim IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS) 2013, pp.16-23 |
0 |
원문
|
|
Conference
|
2012 |
Translation from ECML to Linear Hybrid Automata
조재연 International Workshop on Technologies and Applications for Cyber-Phyiscal Systems (TACPS) 2012, pp.293-300 |
1 |
원문
|
|
Conference
|
2012 |
Case Study: Verification of ECML Models Using SpaceEx
조재연 Korea-Japan Joint Workshop on ICT 2012, pp.1-4 |
|
|
|
Conference
|
2010 |
Transaction-Level Modeling Simulation Methodology for Semiconductor Chip Design of Star-Mesh Network-on-Chip based on DEVS Formalism
송해상 대한전자공학회 종합 학술 대회 (하계) 2010, pp.1567-1570 |
|
|
|
Conference
|
2010 |
A Verification Method for Web Service Composition based on Discrete Event System Modeling and Simulation
Seong Yong Lim Spring Simulation Multiconference (SpringSim) 2010, pp.1-6 |
0 |
원문
|
|
Conference
|
2010 |
A Formal Representation of Discrete Event Models in Ptolemy II
Hae Young Lee International Conference on Advanced Communication Technology (ICACT) 2010, pp.864-869 |
|
|
|
Journal
|
2008 |
Transport Performance Analysis of the SDR-based Interworking Networks Using DEVS Methodology
송상복 한국시뮬레이션학회논문지, v.17, no.4, pp.153-158 |
|
|
|
Conference
|
2008 |
Transport Performance Analysis of the SDR-based Interworking Networks Using DEVS Methodology
송상복 한국시뮬레이션학회 학술 대회 (추계) 2008, pp.153-158 |
|
|
|
Conference
|
2007 |
Methodology for Automatic Synthesis of Wargame Simulator using DEVS
Kim Ju Young International Conference on Advanced Communication Technology (ICACT) 2007, pp.436-441 |
0 |
원문
|