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)
INDEXADO EM: WOS