Integration of SAT-based Coverage Measures into a NuSMV-based Verification Workflow / Roberto Hoffmann; Paul Molitor

Simple item page
cbs.date.changed2021-02-24
cbs.date.creation2014-04-16
cbs.picatypeOa
cbs.publication.displayformHalle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008
dc.contributor.authorHoffmann, Roberto
dc.contributor.authorMolitor, Paul
dc.date.accessioned2025-05-28T16:41:36Z
dc.date.issued2008
dc.format.extentOnline-Ressource (PDF-Datei: 18 S., 0,23 MB) : graph. Darst.
dc.genrebook
dc.identifier.ppn783124465
dc.identifier.urihttps://epflicht.bibliothek.uni-halle.de/handle/123456789/1110
dc.identifier.urnurn:nbn:de:gbv:3:2-27594
dc.identifier.vl-id1911052
dc.language.isoeng
dc.publisherMartin-Luther-University Halle-Wittenberg, Institute of Computer Science
dc.relation.ispartofseriesTechnische Berichte ; 2008,10 ppn:584751885
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004
dc.titleIntegration of SAT-based Coverage Measures into a NuSMV-based Verification Workflow / Roberto Hoffmann; Paul Molitor
dc.typeBook
dspace.entity.typeMonograph
local.accessrights.itemAnonymous
local.openaccesstrue

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
urn_nbn_de_gbv_3_2-27594.pdf
Size:
237.18 KB
Format:
Adobe Portable Document Format
Description:
Integration of SAT-based Coverage Measures into a NuSMV-based Verification Workflow
Download
Integration of SAT-based Coverage Measures into a NuSMV-based Verification Workflow

Collections

E-Book