Synchronous Interface Theories and Time Triggered Scheduling.

Benot Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic

Browse the full FORTE paper archive.