5引文
切换系统初始状态不透明度的合成验证
2020
基于抽象的近似不透明度控制器综合
2023
39参考文献
切换系统初始状态不透明度的合成验证
2020
论网络物理系统的近似不透明度
2021
离散事件系统中的安全性和不透明性概念
2007
非确定性过渡系统的不透明度:一种(Bi)仿真关系方法
2019