Publisher's Synopsis
Constitutes the refereed post-proceedings of the Third International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2005. The papers cover work on semantics and modelling of timed systems, formalisms for modelling and verification, including timed automata, hybrid automata, games for verification and synthesis, and more.