Event-B建模实际操作：控制桥上的汽车（四）

接上节；在这一次精化中，我们将引入传感器，这是一种能够检查汽车上桥或下桥的物理情况的设备。   Third Refinement: Introducing Car Sensors In this refinement, we introduce the sensors, which are devices capable of detecting the physical presence of

>>阅读原文<<