TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions.
Doron Drusinsky, Man-tak Shing
VenueCRSP
Year2004
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/DrusinskyS04 ↗
Browse the full RSP paper archive.