Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Zuverlässigkeit 9 Treffer
- Datenverarbeitung 7 Treffer
- Echtzeitsystem 7 Treffer
- Software 6 Treffer
- Softwareentwicklung 6 Treffer
-
33 weitere Werte:
- Formale Methode 5 Treffer
- Verteiltes System 5 Treffer
- Eingebettetes System 4 Treffer
- Hardware 3 Treffer
- Model Checking 3 Treffer
- Verifikation 3 Treffer
- Mensch-Maschine-Kommunikation 2 Treffer
- Sicherheitskritisches System 2 Treffer
- Systementwicklung 2 Treffer
- Technische Sicherheit 2 Treffer
- Ausfallsicheres System 1 Treffer
- Capability-System 1 Treffer
- Computer 1 Treffer
- Computerarchitektur 1 Treffer
- Computersicherheit 1 Treffer
- Datensicherung 1 Treffer
- Datenverarbeitungssystem 1 Treffer
- Entwurf 1 Treffer
- Fehlererkennung 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
- Mathematisches Modell 1 Treffer
- Modellierung 1 Treffer
- Objektorientierung 1 Treffer
- Parallelverarbeitung 1 Treffer
- Prozessrechensystem 1 Treffer
- Reaktives System 1 Treffer
- Requirements engineering 1 Treffer
- Softwarewerkzeug 1 Treffer
- Systementwurf 1 Treffer
- Temporale Logik 1 Treffer
- VLSI 1 Treffer
- Wafer-Integration 1 Treffer
- Zuverlässigkeitstheorie 1 Treffer
Sprache
Form
Person
- Pradhan, Dhiraj K. 2 Treffer
- Anderson, Thomas 1 Treffer
- Avižienis, Algirdas (1932-) 1 Treffer
- Avresky, Dimitri R. 1 Treffer
- Banâtre, Michel 1 Treffer
-
24 weitere Werte:
- Bondavalli, Andrea (1960-) 1 Treffer
- Carroll, Bill D. 1 Treffer
- Chen, Tinghuai 1 Treffer
- Dal Cin, Mario (1940-) 1 Treffer
- Damm, Werner 1 Treffer
- Echtle, Klaus 1 Treffer
- Górski, Janusz 1 Treffer
- Hlavička, Jan (1942-) 1 Treffer
- Joseph, Mathai 1 Treffer
- Kaiser, Jörg 1 Treffer
- Lee, Peter A. 1 Treffer
- Meyer, John F. 1 Treffer
- Negrini, Rao 1 Treffer
- Nelson, Victor P. 1 Treffer
- Nentwig, Dietmar 1 Treffer
- Powell, David 1 Treffer
- Randell, Brian 1 Treffer
- Ravn, Anders P. 1 Treffer
- Sami, Maria G. 1 Treffer
- Stefanelli, Renato 1 Treffer
- Stoll, Jürgen 1 Treffer
- Tai, Ann T. 1 Treffer
- Vytopil, Jan 1 Treffer
- Winther, Rune 1 Treffer
33 Treffer
-
Berlin [u.a.]: Springer, 1995Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: SpringerKonferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Boston [u.a.]: Kluwer Academic Publishers, 1996Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Formal techniques in real time and fault tolerant systems: 7th international symposium ; proceedingsBerlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Monographie, Gedruckte RessourceZugriff:
-
Wien [u.a.]: Springer, 1993Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Formal techniques in real time and fault tolerant systems: 5th international symposium ; proceedingsBerlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Kluwer, 1993Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
2., rev. ed.. - Wien [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
1. [Dr.]. - Englewood Cliffs, NJ [u.a.]: Prentice-Hall, 1986Aufsatzsammlung, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Soc. Press, 1998Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Sammelwerk, Gedruckte RessourceZugriff: