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

DOI10.1007/978-3-642-24310-3_16zbMath1348.68106OpenAlexW138580033MaRDI QIDQ3172853

Could not fetch data.

Publication date: 7 October 2011

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24310-3_16

Mathematics Subject Classification ID

Could not fetch data.