Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008. The 9 revised full papers presented together with 2 invited papers were carefully selected fro...

全面介紹

Saved in:
書目詳細資料
其他作者: Leucker, Martin
格式: 圖書
語言:English
出版: Springer 2017
主題:
在線閱讀:http://repository.vnu.edu.vn/handle/VNU_123/29283
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
機構: Vietnam National University, Hanoi
語言: English