494 search results - page 1 / 99 » Real-Time and Hybrid Systems Testing |
DAGSTUHL
2004
13 years 8 months ago
2004
ICESS
2004
Springer
14 years 23 days ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
FASE
2004
Springer
13 years 11 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
HYBRID
1995
Springer
13 years 11 months ago
1995
Springer
FBT
1998
13 years 8 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...