3387 search results - page 44 / 678 » Model-Checking for Real-Time Systems |
LCTRTS
1995
Springer
13 years 11 months ago
1995
Springer
RTSS
1995
IEEE
13 years 11 months ago
1995
IEEE
RTAS
2010
IEEE
13 years 6 months ago
2010
IEEE
ECRTS
2007
IEEE
14 years 1 months ago
2007
IEEE
Feedback control techniques have recently been applied to a variety of real-time systems. However, a fundamental issue that was left out is guaranteeing system controllability and...
ECRTS
2005
IEEE
14 years 1 months ago
2005
IEEE
Embedded systems are usually an integral component of a larger system and are used to control and/or directly monitor this system by using special hardware devices. The complexity...