Verification and Evaluation of Computer and Communication Systems (Record no. 87156)
[ view plain ]
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 |
-- | |
-- | 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.