Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings (Lecture Notes in Computer Science)
暫譯: 執行時驗證：第五屆國際會議 RV 2014，2014年9月22-25日，加拿大安大略省多倫多。會議論文集（計算機科學講義）

Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2014-09-23
  • 售價: $2,470
  • 貴賓價: 9.5 折 $2,347
  • 語言: 英文
  • 頁數: 376
  • 裝訂: Paperback
  • ISBN: 3319111639
  • ISBN-13: 9783319111636
  • 相關分類: Computer-Science

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and 8short papers were carefully reviewed and selected from 70 submissions. The scope of the conference was on following topics: monitoring and trace slicing, runtime verification of distributed and concurrent systems, runtime Verification of real-time and embedded systems, testing and bug finding, and inference and learning.

商品描述(中文翻譯)

本書為第五屆國際執行時驗證會議（Runtime Verification, RV 2014）的經過審核的會議論文集，該會議於2014年9月在加拿大安大略省多倫多舉行。共收錄了28篇修訂的完整論文、2篇工具論文以及8篇短文，這些論文是從70篇投稿中仔細審核和選出的。會議的範疇涵蓋以下主題：監控與追蹤切片、分散式與併發系統的執行時驗證、實時與嵌入式系統的執行時驗證、測試與錯誤發現，以及推理與學習。

類似商品