Synthesis of Synchronization using Uninterpreted Functions

Roderick Paul Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Außerlechner, Raphael Spörk

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

Originalspracheenglisch
TitelProceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014
Herausgeber (Verlag).
Seiten35-42
ISBN (Print)978-0-9835678-4-4
PublikationsstatusVeröffentlicht - 2014
VeranstaltungInternational Conference on Formal Methods in Computer-Aided Design - Lausanne, Schweiz
Dauer: 21 Okt 201424 Okt 2014

Konferenz

KonferenzInternational Conference on Formal Methods in Computer-Aided Design
LandSchweiz
OrtLausanne
Zeitraum21/10/1424/10/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Dieses zitieren