Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Zuverlässigkeit 9 Treffer
- Echtzeitsystem 7 Treffer
- Softwareentwicklung 6 Treffer
- Formale Methode 5 Treffer
- Software 5 Treffer
-
31 weitere Werte:
- Verteiltes System 5 Treffer
- Datenverarbeitung 4 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
- Computerarchitektur 1 Treffer
- Computersicherheit 1 Treffer
- Datensicherung 1 Treffer
- Datenverarbeitungssystem 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
Person
- Anderson, Thomas 1 Treffer
- Avižienis, Algirdas (1932-) 1 Treffer
- Avresky, Dimitri R. 1 Treffer
- Banâtre, Michel 1 Treffer
- Bondavalli, Andrea (1960-) 1 Treffer
-
23 weitere Werte:
- 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
29 Treffer
-
Formal techniques in real time and fault tolerant systems: 5th international symposium ; proceedingsBerlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Monographie, Teil eines Werkes, 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, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr, 1989Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
New York [u.a.]: Horwood, 1992Konferenzschrift, Aufsatzsammlung, 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, 1994Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Kluwer, 1993Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
2., rev. ed.. - Wien [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Washington, DC: IEEE Computer Soc. Pr, 1987Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: