Formal Modeling and Analysis of Timed Systems

Explore the intricacies of timed systems with "Formal Modeling and Analysis of Timed Systems," authored by Nathalie Bertrand. This comprehensive volume presents the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), held in Vienna, Austria, in September 2020. Featuring 16 full papers and 2 short papers, this first edition, published by Springer Nature Switzerland AG, showcases cutting-edge research selected from a competitive pool of 42 submissions. Spanning 301 pages, this book is an essential resource for researchers and practitioners in the field of formal modeling. Delve into the latest advancements and methodologies that shape the analysis of timed systems, making it a must-have addition to your professional library.