Rahul Purandare
AuthID: R-00H-6YA
1
TITLE: Poster Abstract: REVERT: Runtime Verification for Real-Time Systems
AUTHORS: Sangeeth Kochanthara; Geoffrey Nelissen; David Pereira; Rahul Purandare;
PUBLISHED: 2016, SOURCE: 37th IEEE Real-Time Systems Symposium (RTSS) in PROCEEDINGS OF 2016 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS)
AUTHORS: Sangeeth Kochanthara; Geoffrey Nelissen; David Pereira; Rahul Purandare;
PUBLISHED: 2016, SOURCE: 37th IEEE Real-Time Systems Symposium (RTSS) in PROCEEDINGS OF 2016 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS)
INDEXED IN: 
WOS
WOS