Searching for "Efficient verification of real-time systems compact data structure and state-space reduction." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Efficient Verification of Real-Time Systems: Compact Data Structure and State--Space Reduction
by Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi — 1997 — In Proc. of the 18th IEEE Real-Time Systems Symposium
…Efficient Verification of Real-Time Systems: Compact Data Structure and State--Space Reduction Kim…
Cited by 41 (6 self) – Add To MetaCart

Course Materials
by Llpy Fredrik Larsson, Kim G. Larsen, Paul Pettersson, Wang Yi, Efficient Verification — 1997
… of Real-Time Systems: Compact Data Structures and State-Space Reduction. Accepted for presentation…
Add To MetaCart

Showing 1 through 2.

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