Verification and Evaluation of Computer and Communication Systems

15th International Conference, VECoS 2021, Virtual Event, November 22–23, 2021, Revised Selected Papers

AvAyoub Nouri,Weimin Wu

Häftad, Engelska, 2022

Del 13187 i serien Lecture Notes in Computer Science

614 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2022-03-19
Mått:155 x 235 x 7 mm
Vikt:172 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:91
Förlag:Springer Nature Switzerland AG
ISBN:9783030988494

Utforska kategorier

Nätverk och kommunikation inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

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.