Formal Modeling and Analysis of Timed Systems

Explore the cutting-edge research presented in Formal Modeling and Analysis of Timed Systems by Étienne André, published by Springer Nature Switzerland AG in 2019. This comprehensive volume features the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2019), which took place in Amsterdam, The Netherlands, in August 2019.

Inside this 301-page paperback, you will find 15 full papers and 2 short papers that have been meticulously reviewed and selected from a competitive pool of 42 submissions. This book is an essential resource for researchers and practitioners interested in the formal modeling and analysis of timed systems, offering valuable insights into the latest advancements in the field.

Enhance your knowledge and understanding of timed systems with this authoritative collection, perfect for those looking to stay at the forefront of this dynamic area of study.