1 option
Towards verified systems / edited by Jonathan Bowen.
LIBRA QA76.9.E94 T68 1994
Available from offsite location
- Format:
- Book
- Series:
- Real-time safety critical systems ; 2.
- Real-time safety critical systems ; vol. 2
- Language:
- English
- Subjects (All):
- Embedded computer systems--Evaluation.
- Embedded computer systems.
- Real-time data processing.
- Physical Description:
- xxvi, 296 pages : illustrations ; 24 cm.
- Place of Publication:
- Amsterdam ; New York : Elsevier, 1994.
- Notes:
- Includes bibliographical references (pages 269-296).
- ISBN:
- 0444899014
- OCLC:
- 30914198
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.