TY  - BOOK
AU  - Ben Hedia,Belgacem
AU  - Maleh,Yassine
AU  - Krichen,Moez
ED  - SpringerLink (Online service)
TI  - Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031497377
AV  - TK7885-7895 
U1  - 621.39 23
PY  - 2024///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Computer engineering
KW  - Computer networks 
KW  - Artificial intelligence
KW  - Computer Engineering and Networks
KW  - Artificial Intelligence
KW  - Computer Communication Networks
N1  - Factorization of the state space construction for cyclic systems with data -- Verified High Performance Computing: the Approach -- A QoE driven DRL approach for network slicing based on SFC orchestration in SDN/NFV enabled networks -- On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation -- An Enhanced Interface-based Probabilistic Compositional Verification Approach -- A sound abstraction method towards efficient neural networks verification -- Towards Formal Verification of Node RED-based IoT Applications -- Formal Verification of a Post-Quantum Signal Protocol with Tamarin -- A Comparative Study of Online Cybersecurity Training Platforms -- White-Box Mutation Testing of Smart Contracts: A Quick Review -- Blockchain-based Trust Management for IoMT Environment -- Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions In Changing Contexts
N2  - This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 18-20, 2023. The 12 full papers included in this book were carefully reviewed and selected from 36 submissions. The topics presented covered a range of subjects, including approaches to improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks
UR  - http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-49737-7
ER  -