1. Share_it
  2. Hochschulschriften
  3. Otto-von-Guericke Universität Magdeburg
  4. Fakultät für Informatik
Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.25673/5340
Langanzeige der Metadaten
DC ElementWertSprache
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-
Enthalten in den Sammlungen:Fakultät für Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
Guedemann-Dissertation.pdf1.76 MBAdobe PDFMiniaturbild
Öffnen/Anzeigen
Zur Kurzanzeige BibTeX EndNote