Verimag

bibtex

@incollection{BDD+8,
    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.0.26 + AHUNTSIC [CC License]

info visites 1031315