A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems.

Hanne Ben-Abdallah, Insup Lee, Jin-Young Choi

Browse the full RTSS paper archive.