A Semantic Unit for Timed Automata Based Modeling Languages.
Kai Chen, Janos Sztipanovits, Sherif Abdelwahed
VenueARTAS
Year2006
ProceedingsIEEE Real Time Technology and Applications Symposium
DBLP recordconf/rtas/ChenSA06 ↗
Browse the full RTAS paper archive.