scientific article; zbMATH DE number 1734135
From MaRDI portal
Publication:4328480
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Reliability, testing and fault tolerance of networks and computer systems (68M15) Computer system organization (68M99) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99) Reliability, availability, maintenance, inspection in operations research (90B25)
Recommendations
Cited in
(13)- On dependability of computing systems
- On-line error detection and fast recover techniques for dependable embedded processors
- Dependable computing: an overview.
- scientific article; zbMATH DE number 4026787 (Why is no real title available?)
- Conceptual characteristic features of fault-free hardware design
- scientific article; zbMATH DE number 49160 (Why is no real title available?)
- scientific article; zbMATH DE number 51672 (Why is no real title available?)
- scientific article; zbMATH DE number 52381 (Why is no real title available?)
- scientific article; zbMATH DE number 52382 (Why is no real title available?)
- scientific article; zbMATH DE number 1235916 (Why is no real title available?)
- scientific article; zbMATH DE number 1107556 (Why is no real title available?)
- scientific article; zbMATH DE number 791863 (Why is no real title available?)
- Code Design for Dependable Systems
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 Q4328480)