HOME
|
KONTAKT
Arbeitsgruppe Rechnerarchitektur / AGRA
|
Informatik
|
FB03
|
Universität Bremen
Navigation ein-/ausblenden
HOME
Die AGRA
Team
Alumni
Promotionen
Forschung
Bereiche
Projekte
Industriepartner
Preise / Ehrungen
Lehre
Abschlussarbeiten
Lehrveranstaltungen
Studentische Projekte
Publikationen
Bücher
Buchbeiträge
Zeitschriften
Konferenzen
Workshops
Entwicklungen
Software
Hardware
Service
Kontakt
Aktuelles
Jobs
Presse
Medien
Dr. Cecile Braunstein
Gast
+49 421 218-64446
MZH
4196
Konferenzbeiträge
Increasing the Accuracy of SAT-based Debugging
Autor: Andre Sülflow, Görschwin Fey, Cécile Braunstein, Ulrich Kühne, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf
| Referenz: pp. 1326-1332, Nice, 2009
Workshopbeiträge
Increasing the Accuracy of SAT-based Debugging
Autor: Andre Sülflow, Görschwin Fey, Cécile Braunstein, Ulrich Kühne, Rolf Drechsler
Workshop:
12. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
Pdf |
Referenz: pp. 47-56, Berlin, 2009
« zurück
Die AGRA
Team
Alumni
Promotionen
Forschung
Bereiche
Projekte
Kooperationen
Preise/Ehrungen
Lehre
Abschlussarbeiten
Lehrveranstaltungen
Studentische Projekte
Publikationen
Bücher
Buchbeiträge
Zeitschriften
Konferenzen
Workshops
Entwicklungen
Software
Hardware
Service
Kontakt
Aktuelles
Jobs
Presse
Medien
©2026 |
AG Rechnerarchitektur
|
Kontakt
|
Impressum & Datenschutz
