Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24?25, 2017, Proceedings【電子書籍】
＜p＞This book constitutes the proceedings of the 11th International Conference International Conference on Veri?cation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.＜/p＞ ＜p＞The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.＜/p＞ ＜p＞The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veri?cation, control, performance and dependability evalu-ation in order to discuss state-of-the-art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly in＜/p＞ ＜p＞terrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veri?cation and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちら をクリックして下さい。 ※このページからは注文できません。
💰 価格: 6,076円
⭐ 評価: 0.0 (0件)
🏠 ショップ: 楽天Kobo電子書籍ストア