Pages that link to "Item:Q2507999"
From MaRDI portal
The following pages link to Formal modeling and analysis of timed systems. Third international conference, FORMATS 2005, Uppsala, Sweden, September 26--28, 2005. Proceedings (Q2507999):
Displaying 3 items.
- On regions and zones for event-clock automata (Q487253) (← links)
- Formal modeling and analysis of timed systems. 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8--10, 2010. Proceedings (Q991539) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)