MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "RAVEN Real-Time Analyzing and Verification Environment." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

RAVEN: Real-Time Analyzing and Verification Environment
by Jürgen Ruf — 2001 — Journal on Universal Computer Science (J.UCS), Springer
…RAVEN: Real-Time Analyzing and Verification Environment Jürgen Ruf (University of Tübingen…
Cited by 17 (2 self) – Add To MetaCart

1 Introduction RAVEN: Real-Time Analyzing and Verification Environment 1
by Jürgen Ruf
…1 Introduction RAVEN: Real-Time Analyzing and Verification Environment 1 Jürgen Ruf Wilhelm…
Add To MetaCart

Formal Refinement and Model Checking of an Echo Cancellation Unit
by Alexander Krupp Wolfgang, Wolfgang Mueller
… Model Checking with RAVEN We apply the RAVEN (Real-Time Analyzing and Verification Environment) real-time…
Add To MetaCart

Combining Formal Refinement and Model Checking for Real-Time Systems Verification
by A. Krupp, Wolfgang Mueller — 2003
… the RAVEN (Real-Time Analyzing and Verification Environment) real-time model checker which extends basic…
Add To MetaCart

Showing 1 through 4.

ATOM

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