View of Specification and refinement of discrete timing properties in Event-B

Return to Article Details Specification and refinement of discrete timing properties in Event-B Download Download PDF