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

Giann Spilere Nandi, David Pereira, Jos Proena, Eduardo Tovar

Browse the full RTSS paper archive.