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

  • Karin Greimel (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

Beschreibung

Talk: Synthesizing Robust Systems
Zeitraum28 Juni 2009
EreignistitelWorkshop on Games for Design, Verification and Synthesis (GASICS)
VeranstaltungstypKonferenz
OrtGrenoble, FrankreichAuf Karte anzeigen