Specification and Verification of Real-Time Embedded Systems Using Time-Constrained Reactive Automata.

Azer Bestavros

Browse the full RTSS paper archive.