1105 search results - page 14 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
RTCSA
2005
IEEE
14 years 2 months ago
2005
IEEE
Data broadcast is an efficient information delivery model that can deliver information to a large population simultaneously. In this paper, we propose two efficient algorithms to ...
DSRT
2004
IEEE
14 years 11 days ago
2004
IEEE
RSP
2002
IEEE
14 years 1 months ago
2002
IEEE
ICST
2009
IEEE
14 years 3 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...