Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Full text!
Format:
e-book
Title:
Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings
Author:
Bogomolov, Sergiy.; Parker, David
Language:
English
Publisher:
Cham Springer International Publishing AG 2022
ISBN:
3-031-15838-5
3-031-15839-3
Permalink:
http://bibtest.howest.be/catalog/ebk03:24750399800041?locale=en