Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Model Checking 3 Treffer
- Formale Methode 2 Treffer
- Nebenläufigkeit 2 Treffer
- UML 2 Treffer
- Abstrakte Zustandsmaschine 1 Treffer
-
12 weitere Werte:
- Abstrakter Automat 1 Treffer
- Compiler 1 Treffer
- Formale Semantik 1 Treffer
- Leitsystem (Technik) 1 Treffer
- Petri-Netz 1 Treffer
- Prozessautomation 1 Treffer
- Prozessregelung 1 Treffer
- Sicherheitskritisches System 1 Treffer
- Softwareentwicklung 1 Treffer
- Softwarespezifikation 1 Treffer
- Systementwicklung 1 Treffer
- Technisches System 1 Treffer
Sprache
Person
4 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: