Muutke küpsiste eelistusi

Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 1820, 2023, Proceedings 1st ed. 2024 [Pehme köide]

Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 179 pages, kõrgus x laius: 235x155 mm, kaal: 314 g, 35 Illustrations, color; 16 Illustrations, black and white; XVIII, 179 p. 51 illus., 35 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 14368
  • Ilmumisaeg: 19-Dec-2023
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031497368
  • ISBN-13: 9783031497360
Teised raamatud teemal:
  • Pehme köide
  • Hind: 53,33 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 62,74 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 1820, 2023, Proceedings 1st ed. 2024Suurem pilt
  • Formaat: Paperback / softback, 179 pages, kõrgus x laius: 235x155 mm, kaal: 314 g, 35 Illustrations, color; 16 Illustrations, black and white; XVIII, 179 p. 51 illus., 35 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 14368
  • Ilmumisaeg: 19-Dec-2023
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031497368
  • ISBN-13: 9783031497360
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783031497360.html
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.
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.