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},

Contact | Plan du site | Site réalisé avec SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 3983239