Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
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.