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