Cantitate/Preț
Produs
Total produse
Vezi coșul
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings de Belgacem Ben Hedia

Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings: Lecture Notes in Computer Science, cartea 14368

Editat de Belgacem Ben Hedia, Yassine Maleh, Moez Krichen
en Limba Engleză Paperback – 19 dec 2023
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 31830 lei

Preț vechi: 39787 lei
-20% Nou

Puncte Express: 477
Preț estimativ în valută:
6092€ • 6350$ • 5071£

Carte tipărită la comandă

Livrare economică 06-20 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031497360
ISBN-10: 3031497368
Pagini: 179
Ilustrații: XVIII, 179 p. 51 illus., 35 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.29 kg
Ediția:1st ed. 2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

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.