Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Model Checking 13 Treffer
- Formale Methode 11 Treffer
- Softwareentwicklung 7 Treffer
- Nebenläufigkeit 6 Treffer
- Formale Spezifikationstechnik 5 Treffer
-
45 weitere Werte:
- Softwarespezifikation 5 Treffer
- UML 4 Treffer
- Leistungsbewertung 3 Treffer
- Programmanalyse 3 Treffer
- Prozessalgebra 3 Treffer
- Software 3 Treffer
- Systementwicklung 3 Treffer
- Abstrakte Zustandsmaschine 2 Treffer
- Endlicher Automat 2 Treffer
- Petri-Netz 2 Treffer
- Programmierung 2 Treffer
- Stochastischer Prozess 2 Treffer
- Stochastisches System 2 Treffer
- Testen 2 Treffer
- Abstrakter Automat 1 Treffer
- Abstraktion 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Compiler 1 Treffer
- Deklarative Programmiersprache 1 Treffer
- Dekomposition 1 Treffer
- Dialogsystem 1 Treffer
- Eingebettetes System 1 Treffer
- Entwurfsautomation 1 Treffer
- Fehlertoleranz 1 Treffer
- Formale Semantik 1 Treffer
- Halbordnung 1 Treffer
- Kellerautomat 1 Treffer
- Kontextfreie Grammatik 1 Treffer
- Leitsystem (Technik) 1 Treffer
- Logischer Schluss 1 Treffer
- Mathematische Logik 1 Treffer
- Mehragentensystem 1 Treffer
- Modallogik 1 Treffer
- Paralleler Prozess 1 Treffer
- Programmverifikation 1 Treffer
- Prozessautomation 1 Treffer
- Prozessregelung 1 Treffer
- Reaktives System 1 Treffer
- Sicherheitskritisches System 1 Treffer
- Soziales System 1 Treffer
- Spezifikationssprache 1 Treffer
- Systementwurf 1 Treffer
- Technisches System 1 Treffer
- Temporale Logik 1 Treffer
Sprache
Form
Person
- Alur, Rajeev 2 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Ball, Thomas 1 Treffer
- Berry, Gérard 1 Treffer
- Boiten, Eerke (1966-) 1 Treffer
-
33 weitere Werte:
- Brinksma, Ed 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Burkart, Olaf (1964-) 1 Treffer
- Börger, Egon 1 Treffer
- Cassez, Franck (1967-) 1 Treffer
- Clarke, Edmund M. 1 Treffer
- Cortadella, Jordi 1 Treffer
- Courcoubetis, Costas 1 Treffer
- Davies, Jim 1 Treffer
- De Alfaro, Luca 1 Treffer
- Dill, David L. 1 Treffer
- Dong, Jin Song (1967-) 1 Treffer
- Ehrig, Hartmut 1 Treffer
- Emerson, E. Allen 1 Treffer
- Etessami, Kousha 1 Treffer
- Godefroid, Patrice 1 Treffer
- Grumberg, Orna 1 Treffer
- Grégoire, Jean-Charles 1 Treffer
- Gurevich, Yuri (1940-) 1 Treffer
- Halbwachs, Nicolas 1 Treffer
- Hermanns, Holger (1967-) 1 Treffer
- Hu, Alan J. 1 Treffer
- Hunt, Warren A. 1 Treffer
- Lau, Kung-Kiu (1953-) 1 Treffer
- Leite, João 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Manna, Zohar (1939-2018) 1 Treffer
- Pnueli, Amir (1941-2009) 1 Treffer
- Roever, Willem-Paul de (1943-) 1 Treffer
- Romijn, Judi 1 Treffer
- Sifakis, Joseph 1 Treffer
- Wolper, Pierre 1 Treffer
- Zimmermann, Wolf 1 Treffer
38 Treffer
-
1. [Dr.]. - Englewood Cliffs, NJ [u.a.]: Prentice/Hall Internat, 1980Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Providence, RI: American Math. Soc, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: