A Highly Dependable Computing Architecture for Safety-Critical Control Applications (Englisch)
- Neue Suche nach: Krämer, Bernd J.
- Neue Suche nach: Völker, Norbert
- Neue Suche nach: Krämer, Bernd J.
- Neue Suche nach: Völker, Norbert
In:
Real-Time Systems
;
13
, 3
; 237-251
;
1997
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:A Highly Dependable Computing Architecture for Safety-Critical Control Applications
-
Beteiligte:Krämer, Bernd J. ( Autor:in ) / Völker, Norbert ( Autor:in )
-
Erschienen in:Real-Time Systems ; 13, 3 ; 237-251
-
Verlag:
- Neue Suche nach: Kluwer Academic Publishers
- Neue Suche nach: Springer
-
Erscheinungsort:Dordrecht
-
Erscheinungsdatum:1997
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.27
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 54.27 Prozessrechner -
Datenquelle:
Inhaltsverzeichnis – Band 13, Ausgabe 3
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 217
-
EditorialKrämer, Bernd J. et al. | 1997
- 219
-
A Systematic Approach to the Petri Net Based Specification of Concurrent SystemsMazzeo, Antonino / Mazzocca, Nicola / Russo, Stefano / Vittorini, Valeria et al. | 1997
- 237
-
A Highly Dependable Computing Architecture for Safety-Critical Control ApplicationsKrämer, Bernd J. / Völker, Norbert et al. | 1997
- 253
-
The ProCoS Approach to Correct SystemsLangmaack, Hans et al. | 1997
- 277
-
Building Large, Complex, Distributed Safety-Critical Operating SystemsWedde, Horst F. / Lind, Jon A. et al. | 1997