Skip navigation
Please use this identifier to cite or link to this item: http://dx.doi.org/10.25673/5340
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorOrtmeier, Frank
dc.contributor.advisorKruse, Rudolf
dc.contributor.authorGüdemann, Matthias
dc.date.accessioned2018-09-24T17:09:01Z-
dc.date.available2018-09-24T17:09:01Z-
dc.date.issued2011
dc.identifier.urihttps://opendata.uni-halle.de//handle/1981185920/11401-
dc.identifier.urihttp://dx.doi.org/10.25673/5340-
dc.description.statementofresponsibilityvon Matthias Güdemann
dc.format.extentOnline-Ressource (PDF-Datei: 209 S., 1756 KB)
dc.language.isoeng
dc.publisherUniversitätsbibl.
dc.publisherOtto von Guericke University Library, Magdeburg, Germany
dc.subjectSoftwaresystem
dc.subjectFunktionssicherheit
dc.subjectFormale Beschreibungstechnik
dc.subjectHochschulschrift
dc.subjectOnline-Publikation
dc.subject.ddc004-
dc.titleQualitative and quantitative formal model-based safety analysis - push the safety button
dcterms.typeHochschulschrift
dc.typeDoctoral Thesis
dc.identifier.urnurn:nbn:de:gbv:ma9:1-385
local.publisher.universityOrInstitutionOtto-von-Guericke-Universität Magdeburg
local.openaccesstrue-
Appears in Collections:Fakultät für Informatik

Files in This Item:
File Description SizeFormat 
Guedemann-Dissertation.pdf1.76 MBAdobe PDFThumbnail
View/Open
Show simple item record BibTeX EndNote


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.