Hide metadata

A PLC-NuSMV compiler for model checking safety-critical control systems

dc.contributor.authorQeriqi, Altin
dc.date.accessioned2016-08-24T22:29:07Z
dc.date.available2016-08-24T22:29:07Z
dc.date.issued2016
dc.identifier.citationQeriqi, Altin. A PLC-NuSMV compiler for model checking safety-critical control systems. Master thesis, University of Oslo, 2016
dc.identifier.urihttp://hdl.handle.net/10852/51630
dc.description.abstracteng
dc.language.isoeng
dc.subjectnusmv
dc.subjectmodel checking
dc.subjectPLC
dc.subjectsmv
dc.titleA PLC-NuSMV compiler for model checking safety-critical control systemseng
dc.typeMaster thesis
dc.date.updated2016-08-24T22:29:07Z
dc.creator.authorQeriqi, Altin
dc.identifier.urnURN:NBN:no-55071
dc.type.documentMasteroppgave
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/51630/1/master_thesis_altin_qeriqi.pdf


Files in this item

Name:
master_thesis_altin_qeriqi.pdf
Size:
5.149Mb
Format:
application/
View/Open

Appears in the following Collection

Hide metadata