6 search results - page 2 / 2 » Safe Runtime Verification of Real-Time Properties |
161
click to vote
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...