Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Softwarespezifikation 7 Treffer
- Komponente (Software) 6 Treffer
- Systementwicklung 6 Treffer
- Verifikation 6 Treffer
- Formale Spezifikationstechnik 5 Treffer
-
38 weitere Werte:
- Model Checking 5 Treffer
- Objektorientierung 5 Treffer
- UML 5 Treffer
- Programmanalyse 3 Treffer
- Hardwareentwurf 2 Treffer
- Nebenläufigkeit 2 Treffer
- Software 2 Treffer
- Testen 2 Treffer
- Theoretische Informatik 2 Treffer
- Verteilte Programmierung 2 Treffer
- Algebraische Methode 1 Treffer
- Algebraische Spezifikation 1 Treffer
- Anwendungssystem 1 Treffer
- Computational logic 1 Treffer
- Echtzeitsystem 1 Treffer
- Fehlertoleranz 1 Treffer
- Graphersetzungssystem 1 Treffer
- Kategorientheorie 1 Treffer
- Koalgebra 1 Treffer
- Korrektheit 1 Treffer
- Leitsystem (Technik) 1 Treffer
- Message sequence chart 1 Treffer
- Mobile Computing 1 Treffer
- Petri-Netz 1 Treffer
- Prozessautomation 1 Treffer
- Prozessregelung 1 Treffer
- Requirements engineering 1 Treffer
- Risiko 1 Treffer
- SDL 1 Treffer
- Sequenzdiagramm 1 Treffer
- Sicherheitskritisches System 1 Treffer
- Softwarearchitektur 1 Treffer
- Spezifikationssprache 1 Treffer
- Systementwurf 1 Treffer
- Systemmodell 1 Treffer
- Technisches System 1 Treffer
- Verbandstheorie 1 Treffer
- Zuverlässigkeit 1 Treffer
Sprache
Form
Person
- Boer, Frank S. de 3 Treffer
- Bernardo, Marco (1970-) 2 Treffer
- Aichernig, Bernhard K. 1 Treffer
- Backhouse, Roland 1 Treffer
- Barkaoui, Kamel 1 Treffer
-
17 weitere Werte:
- Boer, Frank S. de (1956-) 1 Treffer
- Bowen, Jonathan P. (1956-) 1 Treffer
- Dang Van Hung (1950-) 1 Treffer
- Davies, Jim 1 Treffer
- Dong, Jin Song (1967-) 1 Treffer
- Ehrig, Hartmut 1 Treffer
- Ehrig, Hartmut (1944-2016) 1 Treffer
- Gaudel, Marie-Claude 1 Treffer
- George, Chris 1 Treffer
- Hutter, Dieter 1 Treffer
- Kreowski, Hans-Jörg 1 Treffer
- Lau, Kung-Kiu (1953-) 1 Treffer
- Leue, Stefan 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Naftalin, Maurice 1 Treffer
- Petrenko, Alexandre 1 Treffer
- Romijn, Judi 1 Treffer
24 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin: Heidelberg, New York : Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: