Formal Modeling and Analysis of Timed Systems : 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, proceedings

Formal Modeling and Analysis of Timed Systems 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: FORMATS (VerfasserIn)
Weitere Verfasser: Dima, Catalin (HerausgeberIn), Shirmohammadi, Mahsa (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2021
Schriftenreihe:Lecture notes in computer science 12860
Schlagworte:
Konferenzschrift > Mathematische Logik > Wahrscheinlichkeitsrechnung > Echtzeitsystem
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:viii, 153 Seiten
Illustrationen, Diagramme
ISBN:9783030850364
978-3-030-85036-4