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

  • Karin Greimel (Speaker)

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

Talk: Synthesizing Robust Systems
Period28 Jun 2009
Event titleWorkshop on Games for Design, Verification and Synthesis (GASICS)
Event typeConference
LocationGrenoble, FranceShow on map