Workshop on Games for Design, Verification and Synthesis (GASICS)

Karin Greimel (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

Talk: Synthesizing Robust Systems
Period28 Jun 2009
Held atWorkshop on Games for Design, Verification and Synthesis (GASICS)
Event typeConference
LocationGrenoble, France