Publication | Closed Access

Towards action refinement for true concurrent real time

EngineeringReal-time OperationFormal MethodsSystems EngineeringReal-time ComputingReal-time SystemsComputer ScienceParallel ProgrammingConcurrent SystemParallel ComputingFormal VerificationTowards Action Refinement