Safe Environmental Envelopes of Discrete Systems
Safe Environmental Envelopes of Discrete Systems
复制标题
离散系统的安全环境范围
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Romulo Meira-Goes, Ian Dardik
中科院分区：
文献类型：
--
作者：
Romulo Meira-Goes, Ian Dardik
登录
查看更多内容
使用游戏综合容错嵌入式系统：从理论到实践
DOI：
10.1007/978-3-642-18275-4_10
发表时间：
2011
期刊：
影响因子：
--
作者：
C.-H. Cheng;H. Ruess;C. Buckl;A. Knoll
通讯作者：
A. Knoll
实现弹性监管者的有界综合
DOI：
--
发表时间：
2019
期刊：
IEEE Conference on Decision and Control
影响因子：
--
作者：
Liyong Lin;Yuting Zhu;R. Su
通讯作者：
R. Su
SYCRAFT：综合分布式容错程序的工具
DOI：
--
发表时间：
2008
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
Borzoo Bonakdarpour;S. Kulkarni
通讯作者：
S. Kulkarni
DOI：
10.1145/2185632.2185648
发表时间：
2012
期刊：
Artif. Intell.
影响因子：
--
作者：
U. Topcu;N. Ozay;Jun Liu;R. Murray
通讯作者：
R. Murray
X 战警：基于突变的安全仪式正式分析方法
DOI：
--
发表时间：
2020
期刊：
European Symposium on Security and Privacy
影响因子：
--
作者：
Diego Sempreboni;L. Viganò
通讯作者：
L. Viganò