From signal temporal logic to FPGA monitors

Stefan Jaksic (Speaker), Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic

    Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review

    Original languageEnglish
    Title of host publication13. ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Number of pages10
    Publication statusPublished - 2015
    EventMEMOCODE 2015 -
    Duration: 21 Sept 201523 Sept 2015


    ConferenceMEMOCODE 2015

    Research Field

    • Former Research Field - Digital Safety and Security

    Cite this