MENÜ
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking
Marc Diefenbruch
ISBN 978-3-89722-033-1
356 Seiten, Erscheinungsjahr: 1998
Preis: 40.00 €
Keywords:
- SDL
- Leistungsbewertung
- Model-Checking
- Formale Spezifikation
- Temporale Logik
Kaufoptionen
| 40.00 € | ||
| Versandkostenfrei innerhalb Deutschlands | ||
Wollen auch Sie Ihre Dissertation veröffentlichen?
Logos Verlag Berlin GmbH, Georg-Knorr-Str. 4, Geb. 10, D-12681 Berlin, Tel.: +49 (0)30 4285 1090, FAX: +49 (0)30 4285 1092 Datenschutz