Specification based testing of real time distributed systems
Subtitle: languages, tools and applications
By: vorgelegt von Jens Volker Grabowski.
Edition: 1. Aufl.
Publisher: Logos Verlag Berlin
Published: 2003
Place of publication: Berlin
Language: eng
Number of pages: 240
Subjects: Real-time data processing.; Electronic data processing -- Distributed processing.
Notes: Habilitationsschrift--Medizinischen Universität zu Lübeck, 2002.

Includes bibliographical references.