scientific article; zbMATH DE number 2080768

zbMATH Open1050.68530MaRDI QIDQ4473734FDOQ4473734

Authors: John Rushby 

Publication date: 4 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2211/22110306.htm

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 2153824
• A generic fault-tolerant architecture for real-time dependable systems
• Embedded Systems Handbook, Second Edition
• scientific article; zbMATH DE number 2017338
• Safety, efficiency and autonomy - mastering conflicting trends in embedded systems design

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (6)

• Automated verification and refinement for physical-layer protocols
• Timing analysis of the flexRay communication protocol
• The TTA's approach to resilience after transient upsets
• Formalization and correctness of the PALS architectural pattern for distributed real-time systems
• Title not available (Why is that?)
• Maximizing the robustness of TDMA networks with applications to TTP/C

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 Q4473734)