Rahul Purandare
AuthID: R-00H-6YA
1
TÃTULO: Poster Abstract: REVERT: Runtime Verification for Real-Time Systems
AUTORES: Sangeeth Kochanthara; Geoffrey Nelissen; David Pereira; Rahul Purandare;
PUBLICAÇÃO: 2016, FONTE: 37th IEEE Real-Time Systems Symposium (RTSS) in PROCEEDINGS OF 2016 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS)
AUTORES: Sangeeth Kochanthara; Geoffrey Nelissen; David Pereira; Rahul Purandare;
PUBLICAÇÃO: 2016, FONTE: 37th IEEE Real-Time Systems Symposium (RTSS) in PROCEEDINGS OF 2016 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS)
INDEXADO EM: WOS