Browse "School of Electrical Engineering(전기및전자공학부)" by Author Song, HS

Showing results 1 to 3 of 3

1
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

2
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

3
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

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0