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

HanĂȘne Ben-Abdallah, Insup Lee, Jin-Young Choi. A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. In IEEE Real-Time Systems Symposium. pages 276-287, 1995.

Abstract

Abstract is missing.