Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings - Softcover

 
9783319657660: Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Softcover
ISBN 10: 3319657666 ISBN 13: 9783319657660
Publisher: Springer, 2017

This specific ISBN edition is currently not available.

Synopsis

Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2017
Language
English
ISBN 10 
3319657666
ISBN 13 
9783319657660
Binding
Paperback
Number of pages
364
Editor
Abate Alessandro, Geeraerts Gilles

Other Popular Editions of the Same Title

9783319657646: Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Featured Edition

ISBN 10:  331965764X ISBN 13:  9783319657646
Publisher: Springer, 2017
Softcover