Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Literaturtyp
Schlagwort
- Model Checking 7 Treffer
- Formale Methode 6 Treffer
- Nebenläufigkeit 5 Treffer
- CAD 4 Treffer
- Abstrakte Zustandsmaschine 2 Treffer
-
22 weitere Werte:
- Entwurfsautomation 2 Treffer
- Formale Spezifikationstechnik 2 Treffer
- Programmierung 2 Treffer
- Abstrakter Automat 1 Treffer
- Abstraktion 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Compiler 1 Treffer
- Dekomposition 1 Treffer
- Eingebettetes System 1 Treffer
- Formale Semantik 1 Treffer
- Leistungsbewertung 1 Treffer
- Logischer Schluss 1 Treffer
- Paralleler Prozess 1 Treffer
- Petri-Netz 1 Treffer
- Programmanalyse 1 Treffer
- Software 1 Treffer
- Systementwurf 1 Treffer
- Temporale Logik 1 Treffer
- Testen 1 Treffer
- UML 1 Treffer
- Unendlichdimensionales System 1 Treffer
Sprache
Form
Person
- Alur, Rajeev 2 Treffer
- Hu, Alan J. 2 Treffer
- Hunt, Warren A. 2 Treffer
- Ball, Thomas 1 Treffer
- Berry, Gérard 1 Treffer
-
16 weitere Werte:
- Bradfield, Julian Charles 1 Treffer
- Brinksma, Ed 1 Treffer
- Börger, Egon 1 Treffer
- Cassez, Franck (1967-) 1 Treffer
- Cortadella, Jordi 1 Treffer
- Emerson, E. Allen 1 Treffer
- Etessami, Kousha 1 Treffer
- Gopalakrishnan, Ganesh 1 Treffer
- Grumberg, Orna 1 Treffer
- Gurevich, Yuri (1940-) 1 Treffer
- Hailpern, Brent T. 1 Treffer
- Halbwachs, Nicolas 1 Treffer
- Roever, Willem-Paul de (1943-) 1 Treffer
- Srivas, Mandayam 1 Treffer
- Wolper, Pierre 1 Treffer
- Zimmermann, Wolf 1 Treffer
24 Treffer
-
Berlin [u.a.]: Springer, 1982Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1992Monographie, Hochschulschrift, 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, 1996Konferenzschrift, 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, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: