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 (Eds.). - 9. ITG/GI-Fachtagung vom 17. bis 19. September 1997 in Freiberg - Berlin: VDE-Verlag, 1997 - (Aktuelle Probleme der Informatik ; 1)
1997book article/chapter in Proceedings
Economics
Title in German:
Funktionale und quantititative Verifikation von zeit- und ressourcenerweiterten SDL-Systemen mittels Model-Checking
Author:
Diefenbruch, Marc
Language of text:
German
Appears in
MMB '97 : Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen
Conference
9. ITG/GI-Fachtagung vom 17. bis 19. September 1997 in Freiberg
Editor:
Irmscher, Klaus
Place of publication:
Berlin
Publisher:
VDE-Verlag
Year of publication:
1997
ISBN
978-3-8007-2298-3
ISBN
3-8007-2298-4
In Series
Aktuelle Probleme der Informatik
in:
Vol. 1