Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems (2003)

Cached

Download Links

by Dilsun K. Kaynar , Nancy Lynch , Roberto Segala , Frits Vaandrager
Venue:In RTSS 2003: The 24th IEEE International Real-Time Systems Symposium, Cancun,Mexico
Citations:31 - 12 self