Publication | Closed Access

Mechanisms for a reliable timer-based protocol

Delay-tolerant NetworkingReliable Timer-based ProtocolTimed SystemFormal VerificationReliable Communication