Get started
Source

Formal Modeling and Analysis of Timed Systems

Source type: conference
Fully OA: No
DOAJ: No
OpenAlex ID: S4306418436
Discrete-time rewards model-checked (to appear)
2003 · Suzana Andova, Holger Hermanns, et al. · Formal Modeling and Analysis of Timed Systems · 45
On construction of safety signal automata for MITL[ u, s] using temporal projections
2011 · Dileep Kini, Shankara Narayanan Krishna, et al. · Formal Modeling and Analysis of Timed Systems · 7
Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
2009 · Joël Ouaknine, Frits Vaandrager · Formal Modeling and Analysis of Timed Systems · 7
Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
2006 · Eugène Asarin, Patricia Bouyer · Formal Modeling and Analysis of Timed Systems · 4
Synchrony and Time in Fault-Tolerant Distributed Algorithms - (Invited Tutorial).
2010 · Ulrich Schmid · Formal Modeling and Analysis of Timed Systems
Interdisciplinary Foundations for Open Cyber-Physical Systems - (Invited Talk).
2010 · Tarek Abdelzaher · Formal Modeling and Analysis of Timed Systems
Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
2008 · Franck Cassez, Claude Jard · Formal Modeling and Analysis of Timed Systems
Works count: 7
Citation count: 63
H-index: 4
I10-index: 1
2yr mean citedness:
Year
Topic
Type