Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=970380925



Zurück



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4769528-6
Sachbegriff Bounded Model Checking
Quelle Vorlage
Erläuterungen Definition: Verifikationstechnik für Schaltkreise, Konfigurationsprobleme oder Planungsprobleme.
Synonyme Beschränkte Modellüberprüfung
Oberbegriffe Model Checking
DDC-Notation 004.015113
005.14
005.131
Systematik 30 Informatik, Datenverarbeitung
Thema in 16 Publikationen
  1. Applying CDCL to verification and test: when laziness pays off
    Scheibler, Karsten. - Freiburg : Universität, 2017
  2. Bekannte Unbekannte
    Reimer, Sven. - Uelvesbüll : Der Andere Verlag, 2015
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration