Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Methode 18 Treffer
- Systementwicklung 18 Treffer
- Model Checking 12 Treffer
- Komponente (Software) 9 Treffer
- Formale Spezifikationstechnik 8 Treffer
-
45 weitere Werte:
- Programmverifikation 8 Treffer
- Softwarespezifikation 8 Treffer
- B (Programmiersprache) 6 Treffer
- Eingebettetes System 6 Treffer
- Graphersetzungssystem 5 Treffer
- Objektorientierung 5 Treffer
- Algebraische Methode 4 Treffer
- Automatisches Beweisverfahren 4 Treffer
- Software 4 Treffer
- Testen 4 Treffer
- Verifikation 4 Treffer
- Z (Programmiersprache) 4 Treffer
- Anwendungssystem 3 Treffer
- Echtzeitsystem 3 Treffer
- Fehlertoleranz 3 Treffer
- Generische Programmierung 3 Treffer
- Graph-Grammatik 3 Treffer
- Logische Programmierung 3 Treffer
- Programmanalyse 3 Treffer
- Requirements engineering 3 Treffer
- Formalisierung 2 Treffer
- Hardwareentwurf 2 Treffer
- Mehragentensystem 2 Treffer
- Programmierung 2 Treffer
- Programmsynthese 2 Treffer
- Programmtransformation 2 Treffer
- Software Engineering 2 Treffer
- Theoretische Informatik 2 Treffer
- Agent (Informatik) 1 Treffer
- Aspektorientierte Programmierung 1 Treffer
- Begriffsgraph 1 Treffer
- CAD 1 Treffer
- Funktionale Programmierung 1 Treffer
- Kategorientheorie 1 Treffer
- Koalgebra 1 Treffer
- Korrektheit 1 Treffer
- Message sequence chart 1 Treffer
- Methode 1 Treffer
- Objektorientierte Analyse 1 Treffer
- Objektorientierte Programmierung 1 Treffer
- SDL 1 Treffer
- Sequenzdiagramm 1 Treffer
- Spezifikationssprache 1 Treffer
- Systemtransformation 1 Treffer
- Temporale Logik 1 Treffer
Sprache
Form
Person
- Bert, Didier 3 Treffer
- Boer, Frank S. de 3 Treffer
- Broy, Manfred (1949-) 3 Treffer
- Ehrig, Hartmut (1944-2016) 3 Treffer
- Corradini, Andrea 2 Treffer
-
45 weitere Werte:
- Abramsky, Samson (1953-) 1 Treffer
- Aichernig, Bernhard K. 1 Treffer
- Alur, Rajeev 1 Treffer
- Araki, Keijirō 1 Treffer
- Backhouse, Roland 1 Treffer
- Bjørner, Dines (1937-) 1 Treffer
- Boer, Frank S. de (1956-) 1 Treffer
- Bosch, Jan 1 Treffer
- Bossi, Annalisa 1 Treffer
- Bowen, Jonathan P. (1956-) 1 Treffer
- Butler, Gregory 1 Treffer
- Ciancarini, Paolo 1 Treffer
- Cleaveland, Walter R. (1961-) 1 Treffer
- Czarnecki, Krzysztof 1 Treffer
- Damm, Werner 1 Treffer
- Fitzgerald, John 1 Treffer
- Fitzgerald, John (1951-) 1 Treffer
- Garavel, Hubert 1 Treffer
- Gaudel, Marie-Claude 1 Treffer
- Graf, Susanne 1 Treffer
- Gschwind, Thomas 1 Treffer
- Halbwachs, Nicolas 1 Treffer
- Henzinger, Thomas A. 1 Treffer
- Hermanns, Holger (1967-) 1 Treffer
- Hutter, Dieter 1 Treffer
- Jensen, Kurt 1 Treffer
- Johnson, Michael 1 Treffer
- Joseph, Mathai 1 Treffer
- Katoen, Joost-Pieter (1964-) 1 Treffer
- Lau, Kung-Kiu 1 Treffer
- Leue, Stefan 1 Treffer
- Löwe, Welf 1 Treffer
- Margaria, Tiziana 1 Treffer
- Misra, Jayadev 1 Treffer
- Mosses, Peter D. 1 Treffer
- Möller, Bernhard 1 Treffer
- Naftalin, Maurice 1 Treffer
- Nagl, Manfred 1 Treffer
- Petrenko, Alexandre 1 Treffer
- Pfaltz, John L. 1 Treffer
- Prehn, Søren 1 Treffer
- Rattray, Charles 1 Treffer
- Ravn, Anders P. 1 Treffer
- Romijn, Judi 1 Treffer
- Rus, Teodor 1 Treffer
63 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: 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, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, 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: