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 The Theoretical and Practical Dimensions of Regionalism in East Asia by
Cover of the book Cognitive Radio Networks by
Cover of the book Health Insurance by
Cover of the book Robust and Distributed Hypothesis Testing by
Cover of the book Operational Research in Business and Economics by
Cover of the book Stochastic Modeling by
Cover of the book Female Leaders in New Religious Movements by
Cover of the book Advances in Acoustics and Vibration by
Cover of the book The Politics of Spectacle and Emotion in the 2016 Presidential Campaign by
Cover of the book Image Analysis and Processing - ICIAP 2017 by
Cover of the book Statistics and Simulation by
Cover of the book Formal Concept Analysis by
Cover of the book Environmental Determinants of Human Health by
Cover of the book Design and Modeling of Inductors, Capacitors and Coplanar Waveguides at Tens of GHz Frequencies by
Cover of the book Bacterial Pathogens and Their Virulence Factors 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