title = {Specification-Based Monitoring of Cyber-Physical Systems: {A} Survey on Theory, Tools and Applications },
    author = {Bartocci, Ezio and Deshmukh, Jyotirmoy V. and Donz\'e, Alexandre and Fainekos, Georgios E. and Maler, Oded and Nickovic, Dejan and Sankaranarayanan, Sriram},
    year = {2018},
    booktitle = {Lectures on Runtime Verification - Introductory and Advanced Topics},
    pages = {135--175},
    team = {TEMPO},

Publication Sections

Contact | Site Map | Site powered by SPIP 3.1.13 + AHUNTSIC [CC License]

info visites 1693554