Suraq - A Controller Synthesis Tool using Uninterpreted Functions

Georg Hofferek, Ashutosh Gupta

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelHaifa Verification Conference
Herausgeber (Verlag).
Seiten68-74
Band8855
ISBN (Print)978-3-319-13337-9
PublikationsstatusVeröffentlicht - 2014
VeranstaltungHaifa Verification Conference 2014 - Haifa, Israel
Dauer: 18 Nov 201420 Nov 2014

Publikationsreihe

NameLecture Notes in Computer Science

Konferenz

KonferenzHaifa Verification Conference 2014
LandIsrael
OrtHaifa
Zeitraum18/11/1420/11/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Dieses zitieren