Searching for "Rule-Based Runtime Verification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Rule-Based Runtime Verification
by Howard Barringer, Howard Barringer, Allen Goldberg, Allen Goldberg, Klaus Havelund, Klaus Havelund, Koushik Sen, Koushik Sen — 2003
…August 2003 Computer Science University of Manchester Rule-Based Runtime Verification Howard…
Cited by 59 (21 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB