Title: Methodology for the development of microprocessor-based safety-critical systems
First published: 1998
Subjects: Computer security, System design
LC classification: QA76.9.A25 S37 1998