Searching for "Two Examples of Verification of Multirate Timed Automata with Kronos." – 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.

Two examples of verification of multirate timed automata with Kronos
by C. Daws, S. Yovine — 1995 — In Proc. 1995 IEEE Real-Time Systems Symposium, RTSS'95
…Two examples of verification of multirate timed automata with Kronos C. Daws and S. Yovine y…
Cited by 50 (11 self) – Add To MetaCart

Automatic Verification of Hybrid Systems: An Audio Control Protocol
by Luis Ricardo Sierra Abbate
… of multirate timed automata with kronos. Spectre 95-06, VERIMAG, 1995. [9] F. Fontana. Una extension de la…
Add To MetaCart

Showing 1 through 2.

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