MENÜ 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

40.00 €
in stock