Formal Development of a Clock Synchronization Circuit
Workshop; 3rd, Langley formal methods ; 1995 ; Hampton; VA
01.01.1995
8 pages
Also known as LFM 95
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
A Provably Correct Design of a Fault-Tolerant Clock Synchronization Circuit
British Library Conference Proceedings | 1992
|Clock Synchronization from Satellite Tracking
IEEE | 1971
|