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

  • Georg Hofferek (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: Controller Synthesis Using Uninterpreted Functions
Period20 Jul 2010 → 21 Jul 2010
Event titleSynthesis, Verification, and Analysis of Rich Models (SVARM 2010)
Event typeConference