Specification and verification of real-time systems using ACSR-VP.

Sung-Mook Lim, Jin-Young Choi

Browse the full RTCSA paper archive.