Sciweavers

907 search results - page 11 / 182
» Monitoring of Real-Time Properties
Sort
View
HASE
1997
IEEE
15 years 3 months ago
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
Monica Brockmeyer, Farnam Jahanian, Elly Winner, C...
RTSS
1992
IEEE
15 years 3 months ago
Monitoring Timing Constraints in Distributed Real-Time Systems
Sitaram C. V. Raju, Ragunathan Rajkumar, Farnam Ja...
IAAI
1992
15 years 25 days ago
Marvel: A Distributed Real-Time Monitoring and Analysis Application
Ursula M. Schwuttke, Alan G. Quan, Robert Angelino...