Logo des Repositoriums
 

Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung

dc.contributor.authorHungar, Hardi
dc.contributor.authorReyzl, Erwin
dc.contributor.editorMaalej, Walid
dc.contributor.editorBrügge, Bernd
dc.date.accessioned2020-01-29T12:23:35Z
dc.date.available2020-01-29T12:23:35Z
dc.date.issued2008
dc.identifier.isbn978-3-88579-216-1
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/31539
dc.language.isode
dc.publisherGesellschaft für Informatik e. V.
dc.relation.ispartofSoftware Engineering 2008
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-122
dc.titleSoftware-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierungde
dc.typeText/Conference Paper
gi.citation.endPage302
gi.citation.publisherPlaceBonn
gi.citation.startPage299
gi.conference.date18.-22.2.2008
gi.conference.locationMünchen
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
299-302.pdf
Größe:
103.48 KB
Format:
Adobe Portable Document Format