Cover Image

Towards verified systems /

Show other versions (1)
Bibliographic Details
Other Authors: Bowen, J. P. (Jonathan Peter), 1956-
Format: Book
Language:English
Published: Amsterdam ; New York : Elsevier, 1994.
Series:Real-time safety critical systems ; 2.
Subjects:
Embedded computer systems > Evaluation.
Real-time data processing.
Data processing
Description
Physical Description:xxvi, 296 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages 269-296).
ISBN:0444899014 (acid-free paper)