A Formal Method for Rapid SoC Prototyping.
Christos Pavlatos, Alexandros C. Dimopoulos, George K. Papakonstantinou
VenueCRSP
Year2009
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/PavlatosDP09 ↗
Browse the full RSP paper archive.