Werkzeugunterstützung der Prüfung sicherheitsgerichteter Software auf Normenkonformität (German)
- New search for: Glöe, Günter
- New search for: Volkwarth, Detlev
- New search for: Glöe, Günter
- New search for: Volkwarth, Detlev
-
ISBN:
- Conference paper / Print
-
Title:Werkzeugunterstützung der Prüfung sicherheitsgerichteter Software auf Normenkonformität
-
Contributors:Glöe, Günter ( author ) / Volkwarth, Detlev ( author )
-
Published in:
-
Publisher:
- New search for: Springer Vieweg
-
Place of publication:Wiesbaden
-
Publication date:2013
-
Size:12 Seiten, 8 Bilder, 2 Tabellen, 6 Quellen
-
ISBN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:German
-
Keywords:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Funktionale Sicherheit programmierbarer elektronischer SystemeRolle, Ingo et al. | 2013
- 7
-
Werkzeugunterstützung der Prüfung sicherheitsgerichteter Software auf NormenkonformitätGlöe, Günter / Volkwarth, Detlev et al. | 2013
- 19
-
Reaktive optische Einknickwinkelvermessung bei GliederfahrzeugenEggert, Simon / Fuchs, Christian / Bohdanowicz, Frank / Zöbel, Dieter et al. | 2013
- 29
-
IT-Sicherheits-Eigenschaften für eng gekoppelte, asynchrone Multi-Betriebssysteme im automotiven UmfeldSchnarz, Pierre / Wietzke, Joachim et al. | 2013
- 39
-
Leistungs- und Präzisionssteigerung des Lastgenerierungsprozesses von UniLoG unter Verwendung echtzeitfördernder Maßnahmen durch das BetriebssystemBeifuß, Alexander et al. | 2013
- 49
-
Slothful Linux: Ein effizientes, hybrides Echtzeitbetriebssystem durch Hardware-basierte Task-EinlastungMüller, Rainer et al. | 2013
- 59
-
Entwurf und Implementierung einer Prozessinterkommunikation für Multi-Core CPUsStrobel, Manuel et al. | 2013
- 69
-
Fehlertolerante verteilte Systeme aus StandardkomponentenElzer, Peter F. et al. | 2013
- 77
-
Framework für die empirische Bestimmung der Ausführungszeit auf MehrkernprozessorenGodesa, Julian / Hilbrich, Robert et al. | 2013
- 87
-
Statistische Parametersynthese für hybride SystemeSchwarz, Christian et al. | 2013
- 97
-
Simulation von Teilnehmern verteilter Systeme zur Verifikation und SystemintegrationJovalekicr, Silvije / Wiescholeki, Michael / Rist, Bernd et al. | 2013
- 107
-
Verifikation und Validierung sicherheitsgerichteter SPS-ProgrammeSoliman, Doaa / Frey, Georg et al. | 2013
- 117
-
Qualitative Analyse der funktionalen Sicherheit software-intensiver Systeme mittels Zustands/Ereignis-FehlerbäumenRoth, Michael / Liggesmeyer, Peter et al. | 2013