Formal Modeling and Analysis of Timed Systems
18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020.
The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints.
Due to the Corona pandemic this conference was held as a virtual event.
Autor*in
Nathalie Bertrand
Themen in »Formal Modeling and Analysis of Timed Systems«
formal methods timed systems semantics verification performance analysis logics data-driven methods probabilities scheduling constraint solving mathematics embedded systems software design architecting software engineering