OVL Assertion-Checking of Embedded Software with Dense-Time Semantics.

Farn Wang, Fang Yu

Browse the full RTCSA paper archive.