Synthesizing Robust Systems with RATSY

Roderick Paul Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer

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

Originalspracheenglisch
TitelProceedings First Workshop on Synthesis (SYNT 2012)
Herausgeber (Verlag)Electronic Proceedings in Theoretical Computer Science
Seiten47-53
Band84
DOIs
PublikationsstatusVeröffentlicht - 2012
VeranstaltungWorkshop on Synthesis (SYNT 2012) - Berkeley, California, USA / Vereinigte Staaten
Dauer: 7 Jul 20128 Jul 2012

Konferenz

KonferenzWorkshop on Synthesis (SYNT 2012)
LandUSA / Vereinigte Staaten
OrtBerkeley, California
Zeitraum7/07/128/07/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Dieses zitieren