Formal modeling and analysis of timed systems: 21st international conference, formats 2023, antwerp, belgium, september 19–21, 2023, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031426254
Date de publication :
29 août 2023
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.