David Pereira

Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems

Eduardo Tovar, José Proença, Giann Nandi, 2020, 2020 IEEE Real-Time Systems Symposium (RTSS).