Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP.
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir
VenueCRSP
Year2005
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/DrusinskySD05 ↗
Browse the full RSP paper archive.