封面圖片

Verification and Evaluation of Computer and Communication Systems 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings /

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...

全面介紹

Saved in:
書目詳細資料
企業作者: SpringerLink (Online service)
其他作者: Ben Hedia, Belgacem (Editor), Maleh, Yassine (Editor), Krichen, Moez (Editor)
格式: 電子 電子書
語言:英语
出版: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
版:1st ed. 2024.
叢編:Lecture Notes in Computer Science, 14368
主題:
Computer engineering.
Computer networks .
Artificial intelligence.
Computer Engineering and Networks.
Artificial Intelligence.
Computer Communication Networks.
在線閱讀:https://doi.org/10.1007/978-3-031-49737-7
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
實物特徵
總結: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.
實物描述:1 online resource (XVIII, 179 p. 51 illus.). 35 illus. in color.
ISBN:9783031497377
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-49737-7

相似書籍