Towards verified systems
By: edited by Jonathan Bowen.
Contributors: Bowen, J. P. 1956-
Series: Real-time safety critical systems ;; vol. 2; Real-time safety critical systems ;; 2.
Publisher: Elsevier
Published: 1994
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 296
Subjects: Embedded computer systems -- Evaluation.; Real-time data processing.
Notes: Includes bibliographical references (p. 269-296).