1. Share_it
  2. Hochschulschriften
  3. Otto-von-Guericke Universität Magdeburg
  4. Fakultät für Informatik
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.refereeOrtmeier, Frank
dc.contributor.refereeKruse, 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.typePhDThesis-
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