Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Kostenloser Versand möglich
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Formal Modeling and Analysis of Timed Systems

18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings
eBookPDFElectronic Book
Verkaufsrang7463inOffice (eBook)
CHF59.00

Produktinformationen

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.
Weitere Beschreibungen

Details

Weitere ISBN/GTIN9783030576288
ProduktarteBook
EinbandElectronic Book
FormatPDF
Format HinweisWasserzeichen
Erscheinungsdatum25.08.2020
Auflage1st ed. 2020
ReiheLecture Notes in Computer Science
Reihen-Nr.12288
Seiten301 Seiten
SpracheEnglisch
IllustrationenX, 301 p. 657 illus., 55 illus. in color.
WarengruppeEnglish
KategorieOffice (eBook)
Weitere Details

Reihe

Kritiken und Kommentare

Über die Autorin/den Autor

Vorschläge

Zuletzt von mir angeschaut