Compositional verification of reactive and real-time systems
By: by Edward Chang.
Series: Report ;; no. STAN-CS-TR-94-1522; Report (Stanford University. Computer Science Dept.) ;; no. STAN-CS-TR-94-1522.
Publisher: Dept. of Computer Science, Stanford University
Published: 1993
Place of publication: Stanford, Calif
Language: eng
Number of pages: 107
Subjects: Computer software -- Verification.; Real-time data processing.
Notes: Thesis (Ph. D.)--Stanford University, Department of Computer Science, 1993.
Includes bibliographical references (p. 101-107).
Cover title.
"December 1993."