Showing results 1 to 3 of 3
A real-time discrete event system specification formalism for seamless real-time software development Hong, JS; Song, HS; Kim, Tag-Gon; Park, KH, DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, v.7, no.4, pp.355 - 375, 1997-10 |
Application of real-time DEVS to analysis of safety-critical embedded control systems: Railroad crossing control example Song, HS; Kim, Tag-Gon, SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, v.81, no.2, pp.119 - 136, 2005-02 |
DEVS framework for modelling, simulation, analysis, and design of hybrid systems Zeigler, BP; Song, HS; Kim, Tag-Gon; Praehofer, H, HYBRID SYSTEMS II BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.999, pp.529 - 551, 1995 |
Discover