Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Methode 33 Treffer
- Verifikation 22 Treffer
- Programmverifikation 20 Treffer
- Softwareentwicklung 19 Treffer
- Programmanalyse 17 Treffer
-
45 weitere Werte:
- Software 12 Treffer
- Systementwicklung 12 Treffer
- Testen 12 Treffer
- Hardwareentwurf 8 Treffer
- Softwarespezifikation 8 Treffer
- Automatisches Beweisverfahren 6 Treffer
- Eingebettetes System 6 Treffer
- Formale Spezifikationstechnik 6 Treffer
- Hardwareverifikation 6 Treffer
- Abstrakte Interpretation 5 Treffer
- Entwurfsautomation 5 Treffer
- CAD 4 Treffer
- Echtzeitsystem 4 Treffer
- Fehlertoleranz 4 Treffer
- Hybrides System 4 Treffer
- Leistungsbewertung 4 Treffer
- Nebenläufigkeit 4 Treffer
- Programmierung 4 Treffer
- System-on-Chip 4 Treffer
- Abstraktion 3 Treffer
- Modellierung 3 Treffer
- Programmtransformation 3 Treffer
- Statische Analyse 3 Treffer
- Systementwurf 3 Treffer
- UML 3 Treffer
- Zeitbehafteter Automat 3 Treffer
- Approximation 2 Treffer
- Constraint-Erfüllung 2 Treffer
- Datensicherung 2 Treffer
- Dienstgüte 2 Treffer
- Entwurfssprache 2 Treffer
- Formulierung 2 Treffer
- Interoperabilität 2 Treffer
- Kommunikationsprotokoll 2 Treffer
- Korrektur 2 Treffer
- Maschinelles Lernen 2 Treffer
- Modellgetriebene Entwicklung 2 Treffer
- Prozessalgebra 2 Treffer
- Qualitätssicherung 2 Treffer
- Rechnernetz 2 Treffer
- Softwarearchitektur 2 Treffer
- Stochastischer Prozess 2 Treffer
- Stochastisches System 2 Treffer
- Systemanalyse 2 Treffer
- Telekommunikationsnetz 2 Treffer
Sprache
Form
Person
- Barthe, Gilles 2 Treffer
- Cousot, Radhia 2 Treffer
- Graf, Susanne 2 Treffer
- Havelund, Klaus (1955-) 2 Treffer
- Hermanns, Holger (1967-) 2 Treffer
-
45 weitere Werte:
- Peled, Doron (1962-) 2 Treffer
- Aagaard, Mark 1 Treffer
- Araki, Keijirō 1 Treffer
- Asarin, Eugene 1 Treffer
- Ball, Thomas 1 Treffer
- Barkaoui, Kamel 1 Treffer
- Bernardo, Marco (1970-) 1 Treffer
- Bjørner, Dines (1937-) 1 Treffer
- Boiten, Eerke (1966-) 1 Treffer
- Borrione, Dominique 1 Treffer
- Bošnački, Dragan 1 Treffer
- Cassez, Franck (1967-) 1 Treffer
- Cortesi, Agostino 1 Treffer
- Cousot, Patrick 1 Treffer
- Damm, Werner 1 Treffer
- Dams, Dennis 1 Treffer
- Davies, Jim 1 Treffer
- De Alfaro, Luca 1 Treffer
- Dwyer, Matthew (1963-) 1 Treffer
- Emerson, E. Allen 1 Treffer
- Fitzgerald, John 1 Treffer
- Garavel, Hubert 1 Treffer
- Geist, Daniel 1 Treffer
- Godefroid, Patrice 1 Treffer
- Gopalakrishnan, Ganesh 1 Treffer
- Grabowski, Jens 1 Treffer
- Grieskamp, Wolfgang 1 Treffer
- Gurevich, Yuri (1940-) 1 Treffer
- Halbwachs, Nicolas 1 Treffer
- Hermenegildo, Manuel 1 Treffer
- Hofmeister, Christine 1 Treffer
- Hu, Alan J. 1 Treffer
- Hunt, Warren A. 1 Treffer
- Inan, M. Kemal 1 Treffer
- Jensen, Kurt 1 Treffer
- Joseph, Mathai 1 Treffer
- Katoen, Joost-Pieter (1964-) 1 Treffer
- Koenig, Sven 1 Treffer
- König, Hartmut (1950-) 1 Treffer
- Lau, Kung-Kiu (1953-) 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Margaria, Tiziana 1 Treffer
- Misra, Jayadev 1 Treffer
- Pierre, Laurence 1 Treffer
- Ravn, Anders P. 1 Treffer
66 Treffer
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Formal techniques in real time and fault tolerant systems: 6th international symposium ; proceedingsBerlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: