Bartocci, Ezio ;
Falcone, Yliès ;
Bonakdarpour, Borzoo...
Bartocci , E , Falcone , Y , Bonakdarpour , B , Colombo , C , Decker , N , Havelund , K , Joshi , Y , Klaedtke , F , Milewicz , R , Reger , G , Rosu , G , Signoles , J , Thoma , D , Zalinescu , E & Zhang , Y 2017 , ' First international Competition on Runtime Verification : rules, benchmarks, tools, and final results of CRV 2014 ' , International Journal on Software Tools for Technology Transfer , pp. 1-40 . https://doi.org/10.1007/s10009-017-0454-5.
,
2017