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
1997Buchaufsatz/Kapitel in SammelwerkWirtschaftswissenschaften
Titel:
Funktionale und quantititative Verifikation von zeit- und ressourcenerweiterten SDL-Systemen mittels Model-Checking
Autor(in):
Diefenbruch, M.