Reliability of checkpointed real-time systems using time redundancy

DOI10.1109/24.257826MaRDI QIDQ4285205zbMATH OpenOpenAlexFDO

Authors C. M. Krishna, A. D. Singh

Publication date 13 March 1994

Published in IEEE Transactions on Reliability (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/24.257826

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Cited in

(1)

• Formal assessment of reliability specifications in embedded cyber-physical systems

This page was built for publication: Reliability of checkpointed real-time systems using time redundancy

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