Haifa Verification Conference 2014

  • Georg Hofferek (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Suraq - A Controller Synthesis Tool using Uninterpreted Functions
Zeitraum20 Nov. 2014
EreignistitelHaifa Verification Conference 2014
VeranstaltungstypKonferenz
OrtHaifa, IsraelAuf Karte anzeigen