Performance evaluation of formally specified systems
Subtitle: the integration of SDL with HIT
By: Elke Heck.
Edition: 1. Aufl.
Series: Reihe "Informatik für Systementwickler" ;; Bd. 3
Publisher: Krehl Verlag
Published: 1996
Place of publication: Münster
Language: eng
Number of pages: 234
Subjects: Computer software -- Evaluation.; System analysis.; SDL (Computer program language)
Notes: Text in English; foreword in German.
Originally presented as the author's thesis (doctoral)--Universität Dortmund, 1996.
Includes bibliographical references (p. 229-234).