Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings: 8054 (Lecture Notes in Computer Science)

by Markus Siegle (Editor), Mariëlle Stoelinga (Editor), PedroR.D'Argenio (Editor), KaustubhJoshi (Editor)

• New

  Paperback
  2013

  $55.05

  The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation.