Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Formal Modeling and Analysis of Timed Systems by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319657653
Publisher: Springer International Publishing Publication: September 1, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319657653
Publisher: Springer International Publishing
Publication: September 1, 2017
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany,  in September 2017.​ 

The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany,  in September 2017.​ 

The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.

More books from Springer International Publishing

Cover of the book Damage Growth in Aerospace Composites by
Cover of the book Creationism and Anti-Creationism in the United States by
Cover of the book Multi-Criteria Decision Making in Maritime Studies and Logistics by
Cover of the book Lamb-Wave Based Structural Health Monitoring in Polymer Composites by
Cover of the book Quantum Physics and Geometry by
Cover of the book Benchmarking Collaborative Networks by
Cover of the book Computer and Computing Technologies in Agriculture IX by
Cover of the book Body Sculpting with Silicone Implants by
Cover of the book Nanomaterials in Extreme Environments by
Cover of the book Effectiveness of Time Investments in Education by
Cover of the book Reasoning Web. Learning, Uncertainty, Streaming, and Scalability by
Cover of the book Australia in the US Empire by
Cover of the book Proceedings of the 2015 Federated Conference on Software Development and Object Technologies by
Cover of the book Trends in Spatial Analysis and Modelling by
Cover of the book The American Experience in Environmental Protection by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy