Specification and compositional verification of real-time systems
By: J. Hooman.
Series: Lecture notes in computer science ;; 558
Publisher: Springer
Published: 1991
Place of publication: Berlin; New York
Language: eng
Number of pages: 235
Subjects: Real-time data processing
Notes: Includes bibliographical references (p. [229]-235).
Rev. version of the author's thesis (Ph. D.)--Eindhoven University of Technology.