Two examples of verification of multirate timed automata with Kronos (1995)

Cached

Download Links

by C. Daws , S. Yovine
Venue:In Proc. 1995 IEEE Real-Time Systems Symposium, RTSS'95
Citations:58 - 12 self

Document Versions

Two examples of verification of multirate timed automata with Kronos –C. Daws, S. Yovine — 1995 — In Proc. 1995 IEEE Real-Time Systems Symposium, RTSS'95