REVERT: Runtime Verification for Real-Time Systems

Sangeeth Kochanthara, Geoffrey Nelissen, David Pereira, Rahul Purandare

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings - 2016 IEEE Real-Time Systems Symposium, RTSS 2016
PublisherInstitute of Electrical and Electronics Engineers
Number of pages1
ISBN (Electronic)9781509053025
DOIs
Publication statusPublished - 2 Jul 2016
Externally publishedYes
Event2016 IEEE Real-Time Systems Symposium, RTSS 2016 - Porto, Portugal
Duration: 29 Nov 20162 Dec 2016

Publication series

NameProceedings - Real-Time Systems Symposium
Volume0
ISSN (Print)1052-8725

Conference

Conference2016 IEEE Real-Time Systems Symposium, RTSS 2016
CountryPortugal
CityPorto
Period29/11/162/12/16

Cite this