Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Methode 13 Treffer
- Programmverifikation 13 Treffer
- Verifikation 13 Treffer
- Programmanalyse 12 Treffer
- Softwareentwicklung 8 Treffer
-
41 weitere Werte:
- Abstrakte Interpretation 5 Treffer
- Fehlertoleranz 4 Treffer
- Formale Spezifikationstechnik 4 Treffer
- Software 4 Treffer
- Softwarespezifikation 4 Treffer
- Systementwicklung 4 Treffer
- Testen 4 Treffer
- Echtzeitsystem 3 Treffer
- Eingebettetes System 3 Treffer
- Nebenläufigkeit 3 Treffer
- Programmtransformation 3 Treffer
- Statische Analyse 3 Treffer
- UML 3 Treffer
- Leistungsbewertung 2 Treffer
- Prozessalgebra 2 Treffer
- Stochastischer Prozess 2 Treffer
- Stochastisches System 2 Treffer
- Temporale Logik 2 Treffer
- Abstrakte Zustandsmaschine 1 Treffer
- Abstrakter Automat 1 Treffer
- Compiler 1 Treffer
- Constraint-logische Programmierung 1 Treffer
- Endlicher Automat 1 Treffer
- Formale Semantik 1 Treffer
- Hybrides System 1 Treffer
- Kommunikationsprotokoll 1 Treffer
- Komponente (Software) 1 Treffer
- Reaktives System 1 Treffer
- Rechnernetz 1 Treffer
- Requirements engineering 1 Treffer
- Spezifikationssprache 1 Treffer
- Statistische Analyse 1 Treffer
- Telekommunikationsnetz 1 Treffer
- Testmustergenerierung 1 Treffer
- Theoretische Informatik 1 Treffer
- Transitionssystem 1 Treffer
- Verteiltes System 1 Treffer
- Zeitbehafteter Automat 1 Treffer
- Zeitbewertetes Petri-Netz 1 Treffer
- Zeitdiskretes System 1 Treffer
- Zuverlässigkeit 1 Treffer
Sprache
Form
Person
- Cousot, Radhia 2 Treffer
- Asarin, Eugene 1 Treffer
- Ball, Thomas 1 Treffer
- Barkaoui, Kamel 1 Treffer
- Boiten, Eerke (1966-) 1 Treffer
-
28 weitere Werte:
- Bošnački, Dragan 1 Treffer
- Broy, Manfred (1949-) 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
- Godefroid, Patrice 1 Treffer
- Grabowski, Jens 1 Treffer
- Graf, Susanne 1 Treffer
- Grieskamp, Wolfgang 1 Treffer
- Gurevich, Yuri (1940-) 1 Treffer
- Havelund, Klaus (1955-) 1 Treffer
- Hermanns, Holger (1967-) 1 Treffer
- Hermenegildo, Manuel 1 Treffer
- Joseph, Mathai 1 Treffer
- Lau, Kung-Kiu (1953-) 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Peled, Doron (1962-) 1 Treffer
- Ravn, Anders P. 1 Treffer
- Romijn, Judi 1 Treffer
- Steffen, Bernhard 1 Treffer
- Valmari, Antti 1 Treffer
- Zimmermann, Wolf 1 Treffer
- Zuck, Lenore D. 1 Treffer
34 Treffer
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, 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, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, 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 [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, 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, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: