时序逻辑在安全监督控制与基于模型的危险监测中的应用

Application of temporal logic for safety supervisory control and model-based hazard monitoring

Reliability Engineering and System Safety · 2017

被引 16