Formal Modeling and Analysis of Timed Systems 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings
-
- Taschenbuch
- eBook ausgewählt
-
Form:Einzelkauf Download
-
Sprache:Englisch
Fr. 62.90
inkl. gesetzl. MwSt.Beschreibung
Produktdetails
Format
Kopierschutz
Nein
Family Sharing
Nein
Text-to-Speech
Nein
Erscheinungsdatum
16.08.2021
Herausgeber
Catalin Dima + weitereVerlag
SpringerSeitenzahl
155 (Printausgabe)
Dateigröße
10732 KB
Auflage
1st ed. 2021
Sprache
Englisch
EAN
9783030850371
The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks. The papers focus on topics such as probabilistic computation, logic and verification, robotic planning, complexity of timed pattern matching, safety violations in real-time systems, modal and temporal logics, and others.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.