Behavior verification of hybrid real-time requirements by qualitative formalism.

Jang-Soo Lee, Sung Deok Cha

Browse the full RTCSA paper archive.