Verification and evaluation of computer and communication systems : 15th International Conference, VECoS 2021, Virtual event, November 22-23, 2021, Revised selected papers / Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li (eds.).
2022
TK5105.5
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Verification and evaluation of computer and communication systems : 15th International Conference, VECoS 2021, Virtual event, November 22-23, 2021, Revised selected papers / Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li (eds.).
Meeting Name
VECoS (Conference) (15th : 2021 : Online)
ISBN
9783030988500 (electronic bk.)
3030988503 (electronic bk.)
9783030988494 (print)
303098849X
3030988503 (electronic bk.)
9783030988494 (print)
303098849X
Published
Cham, Switzerland : Springer, 2022.
Language
English
Description
1 online resource (xi, 91 pages) : illustrations (some color).
Other Standard Identifiers
10.1007/978-3-030-98850-0 doi
Call Number
TK5105.5
Dewey Decimal Classification
004/.36
Summary
This book constitutes the proceedings of the 15th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2021, which took place in November 2021. Due to COVID-19 pandemic the conference was held virtually. The 5 full papers presented in this volume were carefully reviewed and selected from 12 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. .
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed March 23, 2022).
Added Author
Nouri, Ayoub, editor.
Wu, Weimin, editor.
Barkaoui, Kamel, editor.
Li, ZhiWu, 1967- editor.
Wu, Weimin, editor.
Barkaoui, Kamel, editor.
Li, ZhiWu, 1967- editor.
Series
Lecture notes in computer science ; 13187. 1611-3349
Available in Other Form
Print version: 9783030988494
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
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.
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.