LatchType Sense Amplifier Modification for Coupling Suppression Read more about LatchType Sense Amplifier Modification for Coupling Suppression
Formal Specification & Verification of Checkpoint Algorithm for Distributed Systems using Event-B Read more about Formal Specification & Verification of Checkpoint Algorithm for Distributed Systems using Event-B