Verification and Evaluation of Computer and Communication Systems
17th International Conference, VECoS 2024, Djerba, Tunisia, October 16–18, 2024, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the refereed proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, held in Djerba, Tunisia, during October 16–18, 2024.
The 16 full papers included in this book were carefully reviewed and selected from 42 submissions. They deal with the state of the art and challenges in modern computer and communication systems in the areas of verification, control, performance, and dependability evaluation.
Autor*in
Belgacem Ben Hedia
Themen in »Verification and Evaluation of Computer and Communication Systems«
Formal methods Correct-by-construction design Model-checking Formal proving Discrete-event and hybrid systems Modeling and Simulation Formal-based Security assessment Performance and robustness evaluation QoS evaluation planning and deployment RAMS (Reliability-Availability-Maintainability-Safety) Rigorous system design Security protocols verification Verification & validation of AI Verification & validation of safety-critical systems