Band 14138
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings
Aus der Reihe
Lecture Notes in Computer Science
-
- Englisch ausgewählt
Fr. 79.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
29.08.2023
Herausgeber
Laure Petrucci + weitereVerlag
SpringerSeitenzahl
181
Maße (L/B/H)
23.5/15.5/1.1 cm
Gewicht
306 g
Auflage
1st edition 2023
Sprache
Englisch
ISBN
978-3-031-42625-4
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.
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung