Measuring with Timed Patterns

Dejan Nickovic (Speaker), Thomas Ferrère, Oded Maler, Dogan Ulus

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

    Original languageEnglish
    Title of host publicationProceedings of the Computer Aided Verification - 27th International Conference, CAV,2015,San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    Pages322-337
    Number of pages16
    Publication statusPublished - 2015
    EventCAV 2015 -
    Duration: 18 Jul 201524 Jul 2015

    Conference

    ConferenceCAV 2015
    Period18/07/1524/07/15

    Research Field

    • Former Research Field - Digital Safety and Security

    Cite this