MENÜ
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking
Marc Diefenbruch
ISBN 978-3-89722-033-1
356 pages, year of publication: 1998
price: 40.00 €
Keywords:
- SDL
- Leistungsbewertung
- Model-Checking
- Formale Spezifikation
- Temporale Logik
BUYING OPTIONS