Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
>
Erweitertes Suchen
Verwandte Werke
Verwandte Werke
Schlagwörter:
Echtzeitsystem
.
Fehlerbaumanalyse
.
Formale Methode
.
Sicherheitskritisches System
.
Zuverlässigkeit
.
Software Engineering -- Sicherheitskritisches System -- Echtzeitsystem -- Formale Methode -- Fehlerbaumanalyse -- Zuverlässigkeit
.
Siehe Auch:
Fehlerbaum
.
Kritische Informationsinfrastruktur
.
Softwareentwicklung
.
Menschliches Versagen
.
Unzuverlässigkeit
.
Verfügbarkeit
.
Oberbegriffe Schlagwörter:
Betriebssystem
.
Datenverarbeitungssystem
.
Methode
.
System
.
Unterbegriffe Schlagwörter:
Dialogsystem
.
Ereignisgesteuertes System
.
Prozessrechensystem
.
Reaktives System
.
Ausfallsicheres System
.
CASE <Informatik>
.
CASHE
.
Continuous Delivery
.
FMC <Softwaresystem>
.
Komponentenmodell <Software>
.
Softwarelebenszyklus
.
Ausfallwahrscheinlichkeit
.
Engineering asset management
.
Verfasser:
Jeppu, Yogananda
.
Nanda, Manju
.
Körperschaften:
Application of Formal Methods for Safety and Security Critical Systems<Veranstaltung> <1., 2016, Bangalore>
.
Reihen:
SPRINGERLINK BUECHER
.
Klassifikation:
629.1
.
1272088995 ZO 8900
.
TEC002000
.
TRP
.
TTDS
.
Schnellsuche
Suche nach