An event-based real-time logic to specify the behavior and timing properties of real-time systems.

Horng-Yuan Chen, Jeffrey J. P. Tsai, Yao-Dong Bi

Browse the full ICTAI paper archive.