Logo des Repositoriums
 

Safety, liveness, and information flow: dependability revisited

dc.contributor.authorBeneson, Zinaida
dc.contributor.authorFreiling, Felix C.
dc.contributor.authorHolz, Thorsten
dc.contributor.authorKesdogan, Dogan
dc.contributor.authorDraque Penso, Lucia
dc.contributor.editorKarl, Wolfgang
dc.contributor.editorBecker, Jürgen
dc.contributor.editorGroßpietsch, Karl-Erwin
dc.contributor.editorHochberger, Christian
dc.contributor.editorMaehle, Erik
dc.date.accessioned2019-10-30T12:17:32Z
dc.date.available2019-10-30T12:17:32Z
dc.date.issued2006
dc.identifier.isbn3-88579-175-7
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/29437
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofARCS'06, 19th International Conference on Architecture of Computing Systems
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-81
dc.titleSafety, liveness, and information flow: dependability revisiteden
dc.typeText/Conference Paper
gi.citation.endPage65
gi.citation.publisherPlaceBonn
gi.citation.startPage56
gi.conference.dateMarch 16, 2006
gi.conference.locationFrankfurt am Main
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
GI-Proceedings-81-6.pdf
Größe:
4.45 MB
Format:
Adobe Portable Document Format