Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005 Uppsala, Sweden, September 26-28, 2005 Proceedings: 3829 (Lecture Notes in Computer Science)

by Paul Pettersson (Editor), Wang Yi (Series Editor)

• New

  Paperback
  2009

  $74.37

  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.