Transactor-based Formal Verification of Real-time Embedded Systems.

Daniel Karlsson, Petru Eles, Zebo Peng

Browse the full FDL paper archive.