Moon Hwang
Moon Hwang
Dassault Systemes
Dirección de correo verificada de 3ds.com - Página principal
Título
Citado por
Citado por
Año
Reachability graph of finite and deterministic devs networks
MH Hwang, BP Zeigler
IEEE Transactions on Automation Science and Engineering 6 (3), 468-478, 2009
742009
A modular verification framework based on finite & deterministic devs
MH Hwang, BP Zeigler
SIMULATION SERIES 38 (1), 57, 2006
332006
DEVS/NS-2 environment: an integrated tool for efficient networks modeling and simulation
T Kim, MH Hwang, D Kim
The Journal of Defense Modeling and Simulation 5 (1), 33-60, 2008
202008
Automated Link-16 testing using the discrete event system specification and extensible markup language
E Mak, S Mittal, MH Hwang, JJ Nutaro
the Journal of Defense Modeling and Simulation 7 (1), 39-62, 2010
192010
Generating finite-state global behavior of reconfigurable automation systems: DEVS approach
MH Hwang
IEEE International Conference on Automation Science and Engineering, 2005 …, 2005
182005
A reachable graph of finite and deterministic DEVS networks
MH Hwang, BP Zeigler
SIMULATION SERIES 38 (1), 48, 2006
162006
Timed behavior analysis of schedule preserved devs
MH Hwang, SK Cho
SIMULATION SERIES 36 (4), 173, 2004
162004
Tutorial: Verification of real-time system based on schedule-preserved DEVS
MH Hwang
Proceedings of 2005 DEVS Symposium, 2-8, 2005
152005
GK-DEVS: Geometric and kinematic DEVS formalism for simulation modeling of 3-dimensional multi-component systems
MH Hwang, BK Choi
Transactions of the Society for Modeling and Simulation International, 2001
112001
Qualitative verification of finite and real-time DEVS networks.
MH Hwang
SpringSim (TMS-DEVS), 43, 2012
102012
Identifying Equivalence of DEVSs: A Language Approach
MH Hwang
SUMMER COMPUTER SIMULATION CONFERENCE, 319-324, 2003
92003
DEVS systems-theory framework for reusable testing of I/O behaviors in Service Oriented Architectures
X Hu, BP Zeigler, MH Hwang, E Mak
2007 IEEE International Conference on Information Reuse and Integration, 394-399, 2007
82007
Generating finite-state behavior of reconfigurable automation systems: DEVS approach
MH Hwang
Proceed. of 2005 IEEECASE, 2005
72005
Taxonomy of DEVS subclasses for standardization.
MH Hwang
SpringSim (TMS-DEVS), 152-159, 2011
62011
Modeling and Simulation using DEVS#
MH Hwang
Moon, 2007
62007
Performance evaluation of mobile multicast session initialization techniques for remote software upload in vehicle ECUs
I Hossain, SM Mahmud, MH Hwang
2010 IEEE 72nd Vehicular Technology Conference-Fall, 1-5, 2010
52010
Expressiveness of verifiable hierarchical clock systems
MH Hwang, BP Zeigler
International Journal of General Systems 37 (4), 391-413, 2008
52008
W3C XML Schema for Finite Deterministic (FD) DEVS Models
S Mittal, BP Zeigler, MH Hwang
52008
Processing time bounds of schedule-preserving DEVS
MH Hwang, SK Cho, BP Zeigler, F Lin
Techinical Report-2007 1, 2007
52007
State minimization of SP-DEVS
MH Hwang, F Lin
International Conference on AI, Simulation, and Planning in High Autonomy …, 2004
5*2004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20