TCT

此软件的关键字
参考文献中的数学 10条 )
科斯塔,加布里埃尔; 加莱塔,莱特欧; 德加诺,皮耶尔帕洛; 盆地,大卫; 博德,恰拉:作为部分模型检查的自然投影(2020年) 林峰; 王乐毅; 陈文; 王伟林; 王飞:网络离散事件系统中的信息控制及其在电池管理系统中的应用(2020) 张仁元; 蔡凯:局部观测下大规模离散事件系统的监督定位(2020) 瓦开基,Masashi; 保罗,塔布阿达; Hespanha,JoãP.:攻击下离散事件系统的监督控制(2019) 科斯塔,加布里埃尔; 盆地,大卫; 博德,恰拉; 皮耶尔帕诺; Galletta,Letterio:从自然投影到部分模型检查和备份(2018) 娇婷; 甘、永梅; 肖国春; Wonham,W.M.:利用状态树结构的对称性研究具有并行组件的离散事件系统(2017) 蔡凯; Wonham,W.Murray:主管本地化。 离散事件系统的自顶向下分布式控制方法(2016) 蔡凯; Wonham,W.M.:主管本地化的新结果,以及案例研究(2015年) Noorbakhsh,S.M。; Afzalian,Ali A.:协调ULTC和SVC的分散DES监督控制(2012) 阿凡齐尼,马丁; Moser,Georg:Tyrolean Complexity Tool:特性和用法(2011)