Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
   Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node1  Trennstrich  Switch to english language
Studentisches Leben Veranstaltungen Einrichtungen Räume und Gebäude Personen Forschung

Publikation: Teil einer Monographie/eines Konferenzbandes

A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving

Grunddaten

Titel A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving
Veröffentlicht in 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE 2015) ; 1. - Piscataway, NJ : IEEE
Erscheinungsjahr 2015
Seiten (von – bis) 357 – 362
Jahr 2015
Publikationsform Druckschrift
Publikationsart Teil einer Monographie/eines Konferenzbandes
Sprache Englisch
Letzte Änderung 14.01.2016 15:57:59
Bearbeitungsstatus durch UB Rostock abschließend validiert
Dauerhafte URL http://purl.uni-rostock.de/fodb/pub/49623
Links zu Katalogen Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

Autoren

Biewer, Alexander
Andres, Benjamin
Gladigau, Jens
Schaub, Torsten
Haubelt, Christian Link zur UB Rostock Link zum GBV-Katalog

Einrichtung

IEF/Institut für Angewandte Mikroelektronik und Datentechnik (IMD)