Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmverifikation 11 Treffer
- Formale Methode 9 Treffer
- Softwareentwicklung 6 Treffer
- Abstrakte Interpretation 5 Treffer
- Software 5 Treffer
-
18 weitere Werte:
- Testen 5 Treffer
- Systementwicklung 4 Treffer
- Verifikation 4 Treffer
- Programmtransformation 3 Treffer
- Softwarespezifikation 3 Treffer
- Statische Analyse 3 Treffer
- UML 2 Treffer
- Benchmark 1 Treffer
- CAD 1 Treffer
- Constraint-logische Programmierung 1 Treffer
- Debugging 1 Treffer
- Fehlertoleranz 1 Treffer
- Hardwareverifikation 1 Treffer
- Korrektheit 1 Treffer
- Multithreading 1 Treffer
- Statistische Analyse 1 Treffer
- System-on-Chip 1 Treffer
- Zuverlässigkeit 1 Treffer
Sprache
Form
Person
- Cousot, Radhia 2 Treffer
- Araki, Keijirō 1 Treffer
- Cortesi, Agostino 1 Treffer
- Cousot, Patrick 1 Treffer
- Davies, Jim 1 Treffer
-
11 weitere Werte:
- Dwyer, Matthew (1963-) 1 Treffer
- Emerson, E. Allen 1 Treffer
- Fitzgerald, John 1 Treffer
- Hermenegildo, Manuel 1 Treffer
- Hunt, Warren A. 1 Treffer
- Lau, Kung-Kiu (1953-) 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Misra, Jayadev 1 Treffer
- Steffen, Bernhard 1 Treffer
- Ur, Shmuel 1 Treffer
- Zuck, Lenore D. 1 Treffer
17 Treffer
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, 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, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, 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:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: