小型微型计算机系统
一种使用STL逻辑监控CPS的可解释规范挖掘方法
刘峰,曹子宁,王福俊,李振
Interpretable Specification Mining Method Using STL for Monitoring CPS
小型微型计算机系统 . 2024, (1): 9 -15 .