scientific article; zbMATH DE number 4219110

MaRDI QIDQ3365267zbMATH OpenFDO

Authors

Publication date 1999

zbMATH Keywords

High-integrity system

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• scientific article; zbMATH DE number 1395608
• High-level design of embedded hardware-software systems
• scientific article; zbMATH DE number 804561
• scientific article; zbMATH DE number 856546
• Design and verification of microprocessor systems for high-assurance applications
• Design and Verification of Fault-Tolerant Components

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3365267)