Formal Modeling and Analysis of Timed Systems

Discover the cutting-edge research in "Formal Modeling and Analysis of Timed Systems," authored by David N. Jansen and published by Springer Nature Switzerland AG in 2018. This insightful volume compiles the refereed proceedings from the 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018), held in Beijing, China. Within its 289 pages, you will find 14 meticulously reviewed papers selected from a total of 29 submissions, showcasing the latest advancements and methodologies in the field. Ideal for researchers and professionals interested in the formal analysis of timed systems, this book provides a comprehensive overview of contemporary challenges and solutions. Enhance your understanding of this vital area of study with this essential resource.