Publication:4473734
From MaRDI portal
zbMath1050.68530MaRDI QIDQ4473734
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2211/22110306.htm
68N99: Theory of software
Related Items
Automated verification and refinement for physical-layer protocols, Formalization and correctness of the PALS architectural pattern for distributed real-time systems, Maximizing the robustness of TDMA networks with applications to TTP/C, The TTA's approach to resilience after transient upsets, Timing analysis of the flexRay communication protocol