Rule Systems for Run-time Monitoring: from EAGLE to RULER

Title
Rule Systems for Run-time Monitoring: from EAGLE to RULER
Authors
Keywords
-
Journal
JOURNAL OF LOGIC AND COMPUTATION
Volume 20, Issue 3, Pages 675-706
Publisher
Oxford University Press (OUP)
Online
2008-11-22
DOI
10.1093/logcom/exn076

Ask authors/readers for more resources

Find Funding. Review Successful Grants.

Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.

Explore

Create your own webinar

Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.

Create Now