Live in ConSerts: Model-Driven Runtime Safety Assurance on Microcontrollers, Edge, and Cloud.

Andreas Schmidt, Jan Reich, Ioannis Sorokos

Browse the full EDCC paper archive.