排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
2.
Bartocci Ezio Falcone Yliès Bonakdarpour Borzoo Colombo Christian Decker Normann Havelund Klaus Joshi Yogi Klaedtke Felix Milewicz Reed Reger Giles Rosu Grigore Signoles Julien Thoma Daniel Zalinescu Eugen Zhang Yi 《International Journal on Software Tools for Technology Transfer (STTT)》2019,21(1):31-70
International Journal on Software Tools for Technology Transfer - The first international Competition on Runtime Verification (CRV) was held in September 2014, in Toronto, Canada, as a satellite... 相似文献
1