Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling.

Pao-Ann Hsiung, Trong-Yen Lee, Feng-Shi Su

Browse the full APSEC paper archive.