Formal modeling and analysis of timed systems: 19th international conference, formats 2021, paris, france, august 24–26, 2021, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030850364
Date de publication :
9 août 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021. The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks.