Diefenbruch, Marc:
Funktionale und quantititative Verifikation von zeit- und ressourcenerweiterten SDL-Systemen mittels Model-Checking
In: MMB '97 : Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen / Irmscher, Klaus (Hrsg.). - 9. ITG/GI-Fachtagung vom 17. bis 19. September 1997 in Freiberg - Berlin: VDE-Verlag, 1997 - (Aktuelle Probleme der Informatik ; 1)
1997Buchaufsatz/Kapitel in Tagungsband
Wirtschaftswissenschaften
Titel in Deutsch:
Funktionale und quantititative Verifikation von zeit- und ressourcenerweiterten SDL-Systemen mittels Model-Checking
Autor*in:
Diefenbruch, Marc
Sprache des Textes:
Deutsch