Towards verified systems /

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

Remote Storage