Share
Formal Modeling and Analysis of Timed Systems: 21st International Conference, Formats 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Petrucci, Laure ; Sproston, Jeremy (Author)
·
Springer
· Paperback
Formal Modeling and Analysis of Timed Systems: 21st International Conference, Formats 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings - Petrucci, Laure ; Sproston, Jeremy
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Friday, July 26 and
Tuesday, August 13.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Formal Modeling and Analysis of Timed Systems: 21st International Conference, Formats 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings"
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length. The papers deal with real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed, hybrid, and probabilistic systems.