Automatic Synthesis and Verification of Real-Time Embedded Software.

Pao-Ann Hsiung, Shang-Wei Lin

Browse the full EUC paper archive.