Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 1921, 2023, Proceedings (Lecture Notes in Computer Science, 14138)
Springer
ISBN13:
9783031426254
$61.47
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.
- | Author: Laure Petrucci, Jeremy Sproston
- | Publisher: Springer
- | Publication Date: Aug 29, 2023
- | Number of Pages: 195 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3031426258
- | ISBN-13: 9783031426254
- Author:
- Laure Petrucci, Jeremy Sproston
- Publisher:
- Springer
- Publication Date:
- Aug 29, 2023
- Number of pages:
- 195 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3031426258
- ISBN-13:
- 9783031426254