Design and verification of microprocessor systems for high-assurance applications

被引：0

作者：

Rockwell Collins, Inc., 400 Collins Road NE., Cedar Rapids, IA 52498, United States ^{[1
]}

机构：

来源：

Des. and Verification of Microprocessor Syst. for High-Assur. Applic. | / 1-436期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Electric power system control - Display devices - Function evaluation - Traction control - Integrated circuit design - Biomedical equipment - Electric power transmission networks - Flight control systems - Fighter aircraft - Formal verification - Computer aided analysis - Computer hardware

引用