Rule Systems for Run-Time Monitoring: From Eagleto RuleR

Howard Barringer, David E Rydeheard, Klaus Havelund, Oleg Sokolsky (Editor), Serdar Tasiran (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this