Diefenbruch, M.:
Funktionale und quantititative Verifikation von zeit- und ressourcenerweiterten SDL-Systemen mittels Model-Checking
In: Tagungsband GI/ITG Fachtagung "Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen" - Freiberg: VDE-Verlag, 1997
Buchaufsatz/Kapitel in Sammelwerk1997Wirtschaftswissenschaften
Titel:
Funktionale und quantititative Verifikation von zeit- und ressourcenerweiterten SDL-Systemen mittels Model-Checking
Autor(in):
Diefenbruch, M.
Erscheinungsjahr
1997