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
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
