Keyword:property

Papers
Research on Rock-Filled Concrete Dams: a Review Feng Jin, Hu Zhou and Duruo Huang EasyChair Preprint no. 456
ARTiMon Monitoring Tool, The Time Domains Nicolas Rapin In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools