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 Data Science in Practice by
Cover of the book Philosophy, Law and the Family by
Cover of the book Nocturnes: Popular Music and the Night by
Cover of the book Parallel Processing and Applied Mathematics by
Cover of the book Bionanomaterials for Skin Regeneration by
Cover of the book Homosexuality in the Jurisprudence of the Supreme Court of India by
Cover of the book Fundamental Issues of Artificial Intelligence by
Cover of the book Formal Models in the Study of Language by
Cover of the book Italians and Food by
Cover of the book Clinical Echocardiography and Other Imaging Techniques in Cardiomyopathies by
Cover of the book Multi-Agent Systems and Agreement Technologies by
Cover of the book Feelings and Emotion-Based Learning by
Cover of the book Memories from the Frontline by
Cover of the book Soft Tissue Pathology for Clinicians by
Cover of the book Environmental Politics 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