Verification and Evaluation of Computer and Communication Systems: 15th International Conference, Vecos 2021, Virtual Event, November 22-23, 2021, Rev

By Zhiwu Li

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.

• Format: Paperback
• Language: English
• ISBN: 303098849X
• ISBN13: 9783030988494
• Release Date: March 2022
• Publisher: Springer
• Length: 91 Pages
• Weight: 0.35 lbs.
• Dimensions: 0.2" x 6.1" x 9.2"