Searching for "Using Formal Verification Techniques to Reduce Simulation and Test Effort." – 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.

Using Formal Verification Techniques to Reduce Simulation and Test Effort
by O. Laurent, P. Michel, V. Wiels
…Using formal verification techniques to reduce simulation and test effort O. Laurent 1 , P…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 1.

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