熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 其他(可複選) |
搜尋結果共 4 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
The RV series of workshops brings together researchers from academia and - dustry that are intereste... more |
||
|
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, Vecos 2018, Grenoble, France, September 26-28, 2018,
This book constitutes the proceedings of the 12th International Conference on Verification and Evalua... more |
||
|
|
From Programs to Systems - The Systems Perspective in Computing: Etaps Workshop, Fps 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014
|
||
|
|
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verifi... more |
