The following pages link to (Q4473734):
Displayed 5 items.
- Automated verification and refinement for physical-layer protocols (Q539420) (← links)
- Formalization and correctness of the PALS architectural pattern for distributed real-time systems (Q714796) (← links)
- Maximizing the robustness of TDMA networks with applications to TTP/C (Q812157) (← links)
- The TTA's approach to resilience after transient upsets (Q853613) (← links)
- Timing analysis of the flexRay communication protocol (Q2481269) (← links)