Formal Modeling and Analysis of Timed Systems 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings /
This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were carefully reviewed and selected from 30 submissions...
Saved in:
Other Authors / Creators: | Bogomolov, Sergiy. editor. Parker, David. editor. |
---|---|
Other Corporate Authors / Creators: | SpringerLink (Online service) |
Format: | Electronic eBook |
Language: | English |
Edition: | 1st ed. 2022. |
Imprint: | Cham : Springer International Publishing : Imprint: Springer, 2022. |
Series: | Lecture Notes in Computer Science,
13465 |
Subjects: | |
Online Access: | Available in Springer Computer Science eBooks 2022 English/International. |