Synthesis, Verification, and Analysis of Rich Models (SVARM 2010)

Georg Hofferek (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: Controller Synthesis Using Uninterpreted Functions
Zeitraum20 Jul 201021 Jul 2010
EreignistitelSynthesis, Verification, and Analysis of Rich Models (SVARM 2010)
VeranstaltungstypKonferenz