Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
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.

Verification and Evaluation of Computer and Communication Systems

15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers
BuchKartoniert, Paperback
91 Seiten
Englisch
Springererschienen am19.03.20221st ed. 2022
This book constitutes the proceedings of the 15th International Conference on Veriï¬cation and Evaluation of Computer and Communication Systems, VECoS 2021, which took place in November 2021.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR58,84
E-BookPDF1 - PDF WatermarkE-Book
EUR58,84

Produkt

KlappentextThis book constitutes the proceedings of the 15th International Conference on Veriï¬cation and Evaluation of Computer and Communication Systems, VECoS 2021, which took place in November 2021.
Details
ISBN/GTIN978-3-030-98849-4
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2022
Erscheinungsdatum19.03.2022
Auflage1st ed. 2022
ReiheLecture Notes in Computer Science
Seiten91 Seiten
SpracheEnglisch
IllustrationenXI, 91 p. 30 illus., 18 illus. in color.
Artikel-Nr.16512900

Inhalt/Kritik

Inhaltsverzeichnis
On Decentralized Monitoring.- Roles and Responsibilities for a Predictable Update Process - A Position Paper.- Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation.- SMT-based Unbounded Model Checking for ATL.- Handling of Operating Modes in Contract-based Timing Specifications.- Coalition formation with multiple alternatives of interdependent tasks.mehr

Schlagworte

Autor