MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization
by Paul S. Miner, Shyamsundar Pullela, Steven D. Johnson — 1994 — In 13th Symp. on Reliable Distributed Systems
… the development of a fault-tolerant clock synchronization circuit using a combination of formal design tools…
Cited by 4 (0 self) – Add To MetaCart

[48] Steven D. Johnson. Digital Design in a Functional Calculus. In Milne and Subramanyam, editors,
by Formal Aspects Of, Vlsi Design, Steven D. Johnson Circuits, Systems Implementing Communication
…, Shyamsundar Pullela, and Steven D. Johnson. Interaction of Formal Design Systems in the Development of a Fault-Tolerant…
Add To MetaCart

[56] Steven D. Johnson.
by Synthesis Of Digital, Steven D. Johnson Circuits, Systems Implementing Communication
…. Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB