Verification and Evaluation of Computer and Communication Systems: 18th International Conference, Vecos 2025, Paris, France, November 5-7, 2025, Proce
暫譯: 計算機與通信系統的驗證與評估：第18屆國際會議 Vecos 2025，法國巴黎，2025年11月5-7日，會議論文集
Ben Hedia, Belgacem, Bardin, Sébastien, Robbana, Riadh
- 出版商: Springer
- 出版日期: 2026-05-02
- 售價: $3,040
- 貴賓價: 9.5 折 $2,888
- 語言: 英文
- 頁數: 205
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032204399
- ISBN-13: 9783032204394
-
相關分類:
Computer-networks
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 18th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2025, held in Paris, France, during November 5-7, 2025.
The 13 full papers included in this book were carefully reviewed and selected from 29 submissions. They focus on state of the art research and challenges in verification, control, performance, and dependability evaluation for modern computer and communication systems.
商品描述(中文翻譯)
本書為第18屆國際計算機與通信系統驗證與評估會議（VECoS 2025）的經過審核的會議論文集，會議於2025年11月5日至7日在法國巴黎舉行。
本書收錄的13篇完整論文是從29篇投稿中精心審核和選出的。這些論文專注於現代計算機和通信系統在驗證、控制、性能和可靠性評估方面的最新研究與挑戰。
