Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata.
Guoqiang Shu, Chao Li, Qing Wang, Mingshu Li
VenueCRSP
Year2002
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/ShuLWL02 ↗
Browse the full RSP paper archive.