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 Conscious Coastal Cities by
Cover of the book Architecture and Mathematics from Antiquity to the Future by
Cover of the book Pioneers in Plastic Surgery by
Cover of the book Quantitative Stochastic Homogenization and Large-Scale Regularity by
Cover of the book Financial Therapy by
Cover of the book Achieving Sustainable E-Government in Pacific Island States by
Cover of the book Pharmacological Basis of Acute Care by
Cover of the book Real Estate Due Diligence by
Cover of the book Rare and Exotic Orchids by
Cover of the book Building Efficient Management and Leadership Practices by
Cover of the book Corporate Social Responsibility in Europe by
Cover of the book Reviews of Environmental Contamination and Toxicology Volume 233 by
Cover of the book Modeling and Simulation in Engineering, Economics and Management by
Cover of the book Hard and Soft Computing for Artificial Intelligence, Multimedia and Security by
Cover of the book Novel Methods for Monitoring and Managing Land and Water Resources in Siberia 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