Košík
zboží
(prázdné)
Kontakt
Účet
MEGA VÝHODNÉ
Grundlagen sicherheitsgerichteter Echtzeitsysteme.- Konzepte zur sicherheitsgerichteten Prozeßautomatisierung.- Hardware-Systeme zur sicheren Prozeßdatenverarbeitung.- Zweikanalige sicherheitsgerichtete Rechnersysteme.- Entwicklung sicherheitsgerichteter Software.- Software-Verifikation.-...
číst celé
Grundlagen sicherheitsgerichteter Echtzeitsysteme.- Konzepte zur sicherheitsgerichteten Prozeßautomatisierung.- Hardware-Systeme zur sicheren Prozeßdatenverarbeitung.- Zweikanalige sicherheitsgerichtete Rechnersysteme.- Entwicklung sicherheitsgerichteter Software.- Software-Verifikation.- Quantitative Bewertung sicherheitsgerichteter Echtzeitsysteme.- Das inhärent sichere Funktionsplanparadigma.- Erstellung und Prüfung sicherheitsgerichteter Software.- Einige formale Methoden zur Programmverifikation.- Eine funktionsplanabbildende Prozeßrechnerarchitektur.- Fallstudien sicherheitsgerichteter programmierbarer elektronischer.- Systeme.- Die sicherheitsgerichtete Echtzeitprogrammiersprache HI-PEARL.- Ablaufplanung und Zuteilbarkeitsanalyse für den Mehrprozeßbetrieb.- Literaturverzeichnis.- Stichwortverzeichnis.
schovat popis
- Nakladatel: Jiří Sonnek
- Kód:
- Rok vydání: 2013
- Jazyk: Němčina
- Vazba: Gebunden
- Počet stran: 601
- Šířka balení: 17.3 cm
- Výška balení: 24.6 cm
- Hloubka balení: 3.8 cm
- Váha balení: 1.2 kg
Recenze