Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
OOPSLA
2007
Springer
12 years 9 months ago
The design and implementation of formal monitoring techniques
In runtime monitoring, a programmer speciļ¬es a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
Eric Bodden
books