Verification and Evaluation of Computer and Communication Systems  16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings /  [electronic resource] : 
edited by Belgacem Ben Hedia, Yassine Maleh, Moez Krichen. 
 - 1st ed. 2024. 
 - XVIII, 179 p. 51 illus., 35 illus. in color.  online resource. 
 - Lecture Notes in Computer Science,  14368  1611-3349 ; .
 - Lecture Notes in Computer Science,  14368 .
<br/><br/>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. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783031497377 
<br/><br/><label>Standard No.: </label>10.1007/978-3-031-49737-7  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer engineering.<br/>Computer networks .<br/>Artificial intelligence.<br/>Computer Engineering and Networks.<br/>Artificial Intelligence.<br/>Computer Communication Networks.
<br/><br/><label>LC Class. No.: </label>TK7885-7895 TK5105.5-5105.9 
<br/><br/><label>Dewey Class. No.: </label>621.39 004.6