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 Urban Renewal, Community and Participation by
Cover of the book Trends in Applied Knowledge-Based Systems and Data Science by
Cover of the book Exploring the Role of Strategic Intervention in Form-focused Instruction by
Cover of the book Farm Hall and the German Atomic Project of World War II by
Cover of the book Cloud Mobile Networks by
Cover of the book WELL-BEING by
Cover of the book Hospital Wastewaters by
Cover of the book Society and Social Pathology by
Cover of the book Anisotropic Nanomaterials by
Cover of the book Narcissism, Melancholia and the Subject of Community by
Cover of the book Modern Functional Evaluation Methods for Muscle Strength and Gait Analysis by
Cover of the book Maritime Governance by
Cover of the book Fundamentals of the Study of Urine and Body Fluids by
Cover of the book Europe and the Euro by
Cover of the book Joyce’s Non-Fiction Writings 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