On Construction of Safety Signal Automata for $MITL[\: \mathcal{U}, \: \mathcal{S}]$ Using Temporal Projections - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dileep Raghunath Kini, Shankara Narayanan Krishna, Paritosh K. Pandya. On Construction of Safety Signal Automata for $MITL[\: \mathcal{U}, \: \mathcal{S}]$ Using Temporal Projections. In Uli Fahrenberg, Stavros Tripakis, editors, Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Volume 6919 of Lecture Notes in Computer Science, pages 225-239, Springer, 2011. [doi]

This author has not been identified. Look up 'Dileep Raghunath Kini' in GoogleThis author has not been identified. Look up 'Shankara Narayanan Krishna' in GoogleThis author has not been identified. Look up 'Paritosh K. Pandya' in Google

runs on WebDSL