Publication | Closed Access

Time-dependent distributed systems: proving safety, liveness and real-time properties

Real-time SystemEngineeringReal-time OperationFormal MethodsSystems EngineeringReal-time SystemsComputer ScienceDistributed SystemsTimed SystemFormal VerificationReal-time Properties