Formal Analysis of a Distributed Fault Tolerant Clock Synchronization Algorithm for Automotive Communication Systems.

Bo Zhang

Browse the full SEAA paper archive.