Integration of SAT-based Coverage Measures into a NuSMV-based Verification Workflow / Roberto Hoffmann; Paul Molitor
Loading...
Download237.18 KB
Integration of SAT-based Coverage Measures into a NuSMV-based Verification Workflow
Discovery
783124465
URN
urn:nbn:de:gbv:3:2-27594
DOI
ISBN
ISSN
Koordinaten
Skalierung
dc.contributor.contributor
Other contributor
Publication history
Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008
Content
Online-Ressource (PDF-Datei: 18 S., 0,23 MB) : graph. Darst.
Edition
Language
eng
Comment
Abstract
Series
Technische Berichte ; 2008,10 ppn:584751885