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


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

info visites 4196791