Hardware-software coverification of concurrent embedded real-time systems.

Pao-Ann Hsiung

Browse the full ECRTS paper archive.