Titelaufnahme

Titel
Integration of SAT-based Coverage Measures into a NuSMV-based Verification Workflow / Roberto Hoffmann; Paul Molitor
VerfasserHoffmann, Roberto ; Molitor, Paul
ErschienenHalle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008
UmfangOnline-Ressource (PDF-Datei: 18 S., 0,23 MB) : graph. Darst.
SpracheEnglisch
SerieTechnische Berichte ; 2008,10
URNurn:nbn:de:gbv:3:2-27594 
Zugriffsbeschränkung
 Das Dokument ist frei verfügbar
Dateien
Integration of SAT-based Coverage Measures into a NuSMV-based Verification Workflow [0.23 mb]
Links
Nachweis
Kein Nachweis verfügbar
Klassifikation