Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Methode 12 Treffer
- Softwareentwicklung 11 Treffer
- Mensch-Maschine-Kommunikation 7 Treffer
- Technische Sicherheit 7 Treffer
- Zuverlässigkeit 7 Treffer
-
16 weitere Werte:
- Model Checking 3 Treffer
- Programmanalyse 3 Treffer
- Programmverifikation 3 Treffer
- Software 3 Treffer
- Testen 3 Treffer
- Fehlertoleranz 2 Treffer
- Modellgetriebene Entwicklung 2 Treffer
- OCL (Programmiersprache) 2 Treffer
- Sicherheitskritisches System 2 Treffer
- UML 2 Treffer
- Computersicherheit 1 Treffer
- Datensicherung 1 Treffer
- Domain engineering 1 Treffer
- Eingebettetes System 1 Treffer
- Feinplanung 1 Treffer
- Projektmanagement 1 Treffer
Sprache
Form
Person
14 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: