Verification and Evaluation of Computer and Communication Systems (Record no. 87156)

000 -LEADER
fixed length control field 03811nam a22005895i 4500
001 - CONTROL NUMBER
control field 978-3-031-49737-7
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240730170753.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 231218s2024 sz | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9783031497377
-- 978-3-031-49737-7
082 04 - CLASSIFICATION NUMBER
Call Number 621.39
082 04 - CLASSIFICATION NUMBER
Call Number 004.6
245 10 - TITLE STATEMENT
Title Verification and Evaluation of Computer and Communication Systems
Sub Title 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings /
250 ## - EDITION STATEMENT
Edition statement 1st ed. 2024.
300 ## - PHYSICAL DESCRIPTION
Number of Pages XVIII, 179 p. 51 illus., 35 illus. in color.
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
505 0# - FORMATTED CONTENTS NOTE
Remark 2 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.
520 ## - SUMMARY, ETC.
Summary, etc 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.
700 1# - AUTHOR 2
Author 2 Ben Hedia, Belgacem.
700 1# - AUTHOR 2
Author 2 Maleh, Yassine.
700 1# - AUTHOR 2
Author 2 Krichen, Moez.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier https://doi.org/10.1007/978-3-031-49737-7
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type eBooks
264 #1 -
-- Cham :
-- Springer Nature Switzerland :
-- Imprint: Springer,
-- 2024.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Computer engineering.
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Computer networks .
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Artificial intelligence.
650 14 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Computer Engineering and Networks.
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Artificial Intelligence.
650 24 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Computer Communication Networks.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
-- 1611-3349 ;
912 ## -
-- ZDB-2-SCS
912 ## -
-- ZDB-2-SXCS
912 ## -
-- ZDB-2-LNC

No items available.