Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)

  • Robert Könighofer (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Shield Synthesis: - Runtime Enforcement for Reactive Systems
Zeitraum16 Apr. 2015
EreignistitelTools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
VeranstaltungstypKonferenz