Skip to content
Scan a barcode
Scan
Paperback Verification and Evaluation of Computer and Communication Systems: 15th International Conference, Vecos 2021, Virtual Event, November 22-23, 2021, Rev Book

ISBN: 303098849X

ISBN13: 9783030988494

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

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.

Recommended

Format: Paperback

Condition: New

$59.99
50 Available
Ships within 2-3 days

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured