Creation and Validation of Embedded Assertion Statecharts.
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir
VenueCRSP
Year2006
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/DrusinskySD06 ↗
Browse the full RSP paper archive.