Kontakt
A-Z
Träger / Förderer
Datenschutz
Impressum
Hilfe
Mein Konto
English
Katalog
Einfache Suche
Erweiterte Suche
Browsen (DDC)
Suchverlauf
Meine Auswahl
Hilfe
Datenshop
Mein Konto
Ablieferung von Netzpublikationen
Informationsvermittlung
Über die Deutsche
Nationalbibliothek
Katalog der Deutschen Nationalbibliothek
Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum
Suchformular zurücksetzen
Expertensuche
?
Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online!
→ Zur Betaversion des neuen DNB-Katalogs
Noch nicht die passende Literatur gefunden?
→ Book a Librarian
Ergebnis der Suche nach:
tit all "Applying CDCL to verification and test: when laziness pays off."
Treffer 1 von 1
Link zu diesem Datensatz
https://d-nb.info/1134967969
Art des Inhalts
Hochschulschrift
Titel
Applying CDCL to verification and test: when laziness pays off
Person(en)
Scheibler, Karsten (Verfasser)
Becker, Bernd (Akademischer Betreuer)
Organisation(en)
Albert-Ludwigs-Universität Freiburg im Breisgau. Lehrstuhl für Rechnerarchitektur (Mitwirkender)
Albert-Ludwigs-Universität Freiburg. Institut für Informatik (Mitwirkender)
Albert-Ludwigs-Universität Freiburg. Fakultät für Angewandte Wissenschaften (Grad-verleihende Institution)
Albert-Ludwigs-Universität Freiburg (Verlag)
Verlag
Freiburg : Universität
Zeitliche Einordnung
Erscheinungsdatum: 2017
Umfang/Format
Online-Ressource (pdf)
Hochschulschrift
Dissertation, Albert-Ludwigs-Universität Freiburg, 2017
Persistent Identifier
URN:
urn:nbn:de:bsz:25-freidok-126694
DOI:
10.6094/UNIFR/12669
URL
https://freidok.uni-freiburg.de/data/12669
(kostenfrei zugänglich)
Sprache(n)
Englisch (eng)
Anmerkungen
cc_by_nc_nd http://creativecommons.org/licenses/by-nc-nd/4.0/deed.de cc
Schlagwörter
SMT Solver
;
Gleitkommarechnung
;
ATPG
;
Verifikation
;
Programmverifikation
;
Hybrides System
;
Cyber-physisches System
;
Eingebettetes System
;
Bounded Model Checking
;
Integrierte Schaltung
;
Craig-Interpolation
;
Informatik
Sachgruppe(n)
004 Informatik
Online-Zugriff
Archivobjekt öffnen
Treffer 1 von 1
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
MARC21-XML-Repräsentation dieses Datensatzes
RDF (Turtle)-Repräsentation dieses Datensatzes
Dokumentation RDF (Linked Data Service)
BIBFRAME-Repräsentation dieses Datensatzes
Projekt BIBFRAME
Korrekturanfrage
Administration