scientific article; zbMATH DE number 139968

MaRDI QIDQ4028319zbMATH OpenFDO

Authors Michael Mendler, Terry Stroup

Publication date 28 March 1993

zbMATH Keywords

synchronizationclosureresetdominancelivenesscircuit designfault testingcontinuous automatainput-output behavior of an arbiter

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12)

Recommendations

• Newtonian arbiters cannot be proven correct
• scientific article; zbMATH DE number 4035758
• Theories of Newtonian gravity and empirical indistinguishability
• Newton's experimental proofs as eliminative reasoning
• The validity of Newton's lemma 28
• In Defense of Newton: A Physicist's View
• Proving Cleanthes wrong
• Galileo and the equivalence principle: a faulty argument with the correct conclusion
• Newton's argument for Proposition 1 of the \textit{Principia}

Cited in

(1)

• Flat arbiters

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028319)