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

Robert Könighofer (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Shield Synthesis: - Runtime Enforcement for Reactive Systems
Period16 Apr 2015
Held atTools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
Event typeConference