Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Softwareentwicklung 22 Treffer
- Model Checking 16 Treffer
- Verifikation 11 Treffer
- Systementwicklung 10 Treffer
- Programmanalyse 6 Treffer
-
45 weitere Werte:
- Echtzeitsystem 5 Treffer
- Formale Spezifikationstechnik 5 Treffer
- Objektorientierung 5 Treffer
- Programmverifikation 5 Treffer
- Software 5 Treffer
- Testen 5 Treffer
- Fehlertoleranz 4 Treffer
- Komponente (Software) 4 Treffer
- Temporale Logik 4 Treffer
- Zeitbehafteter Automat 4 Treffer
- Zeitbewertetes Petri-Netz 4 Treffer
- Zeitdiskretes System 4 Treffer
- CAD 3 Treffer
- Eingebettetes System 3 Treffer
- Mehragentensystem 3 Treffer
- Abstrakte Interpretation 2 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Formale Semantik 2 Treffer
- Hardwareentwurf 2 Treffer
- Hybrides System 2 Treffer
- Logischer Schluss 2 Treffer
- Programmierung 2 Treffer
- Requirements engineering 2 Treffer
- UML 2 Treffer
- Abstrakte Zustandsmaschine 1 Treffer
- Abstraktion 1 Treffer
- Algebraische Methode 1 Treffer
- Algebraische Spezifikation 1 Treffer
- Anwendungssystem 1 Treffer
- Beweistheorie 1 Treffer
- Bug (Informatik) 1 Treffer
- Codeoptimierung 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Datenfluss 1 Treffer
- Dekomposition 1 Treffer
- Formale Grammatik 1 Treffer
- Formale Sprache 1 Treffer
- Funktionale Programmierung 1 Treffer
- Graphersetzungssystem 1 Treffer
- HOL 1 Treffer
- Informatikstudium 1 Treffer
- Isabelle (Programm) 1 Treffer
- Java (Programmiersprache) 1 Treffer
- Kategorientheorie 1 Treffer
- Koalgebra 1 Treffer
Sprache
Form
Person
- Boer, Frank S. de 3 Treffer
- Hinchey, Michael G. 2 Treffer
- Hutter, Dieter 2 Treffer
- Aagaard, Mark 1 Treffer
- Aichernig, Bernhard K. 1 Treffer
-
45 weitere Werte:
- Alves-Foss, Jim (1964-) 1 Treffer
- Araki, Keijirō 1 Treffer
- Asarin, Eugene 1 Treffer
- Backhouse, Roland 1 Treffer
- Boer, Frank S. de (1956-) 1 Treffer
- Boiten, Eerke (1966-) 1 Treffer
- Brinksma, Ed 1 Treffer
- Butler, Michael 1 Treffer
- Börger, Egon 1 Treffer
- Cassez, Franck (1967-) 1 Treffer
- Coquand, Thierry (1961-) 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Damm, Werner 1 Treffer
- Dean, Neville 1 Treffer
- Ehrig, Hartmut 1 Treffer
- Ehrig, Hartmut (1944-2016) 1 Treffer
- Emerson, E. Allen 1 Treffer
- Eriksson, Lars-Henrik 1 Treffer
- Fitzgerald, John 1 Treffer
- Fitzgerald, John (1951-) 1 Treffer
- Grieskamp, Wolfgang 1 Treffer
- Hu, Alan J. 1 Treffer
- Hunt, Warren A. 1 Treffer
- Joseph, Mathai 1 Treffer
- Kreowski, Hans-Jörg 1 Treffer
- Lakhnech, Yassine 1 Treffer
- Larsen, Kim G. 1 Treffer
- Leue, Stefan 1 Treffer
- Misra, Jayadev 1 Treffer
- Naftalin, Maurice 1 Treffer
- Nipkow, Tobias (1958-) 1 Treffer
- Oliveira, José Nuno (1955-) 1 Treffer
- Owe, Olaf (1951-) 1 Treffer
- Paulson, Lawrence C. 1 Treffer
- Petrenko, Alexandre 1 Treffer
- Pettersson, Paul 1 Treffer
- Rash, James L. 1 Treffer
- Ravn, Anders P. 1 Treffer
- Roever, Willem-Paul de (1943-) 1 Treffer
- Romijn, Judi 1 Treffer
- Siekmann, Jörg 1 Treffer
- Steffen, Bernhard 1 Treffer
- Wenzel, Markus 1 Treffer
- Wing, Jeannette Marie (1956-) 1 Treffer
- Yi, Kwangkeun 1 Treffer
49 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin: Heidelberg, New York : Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, 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, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: