Searching for "An Interleaving Model for Real-Time Systems." – 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.

Model Checking for Timed Logic Processes
by Supratik Mukhopadhyay, Andreas Podelski — 2000 — In Proceedings of the First International Conference on Computational Logic (CL), volume 1861 of LNAI
…] 1 over reals able to model real-time systems operating over dense time. We show that TLP's provide…
Cited by 3 (3 self) – Add To MetaCart

Showing 1 through 1.

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