2650 search results - page 38 / 530 » Simulation and Control of Reactive Systems |
BELL
2005
13 years 8 months ago
2005
IJIT
2004
13 years 10 months ago
2004
Statecharts have been originally created to specify complex reactive systems for use in simulating real-time applications. They extend state transition diagrams with notons of hier...
ICCAD
2001
IEEE
14 years 5 months ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
HASE
2007
IEEE
14 years 3 months ago
2007
IEEE
Electric Power Systems (EPS) become more and more critical for our society, since they provide vital services for the human activities. At the same time, obtaining dependable beha...
RSP
2009
IEEE
14 years 3 months ago
2009
IEEE