Verifying weak and strong k-step opacity in discrete-event systems

已完结

文献求助详情

标题	Verifying weak and strong k-step opacity in discrete-event systems 离散事件系统中弱k步和强k步不透明性的验证相关领域不透明度算法观察员（物理）财产（哲学）国家（计算机科学）可见的数学计算机科学物理光学量子力学哲学认识论
网址	https://doi.org/10.1016/j.automatica.2023.111153
DOI	10.1016/j.automatica.2023.111153 doi
其它	期刊：Automatica 作者：Jiří Balun; Tomáš Masopust 出版日期：2023-06-22
求助人	XBL 在 2024-11-26 18:13:46 发布自天津，悬赏 20 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

National Center for Biotechnology Information

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

老实憨厚无套路，服务科研追梦人

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

2024年影响因子查询已上线 (2024-6-20)

更新

大幅提高文件上传限制，最高150M (2024-4-1)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 稳重秋寒完成签到，获得积分10

13秒前; CipherSage上传了应助文件

31秒前; Shirley发布了新的文献求助10

36秒前; 双眼皮跳蚤完成签到，获得积分10

42秒前; 激流勇进wb完成签到，获得积分10

45秒前; 善学以致用上传了应助文件

46秒前; 健壮的怜烟上传了应助文件

50秒前; zhangxr发布了新的文献求助10

50秒前; 研友_LmgOaZ完成签到，获得积分0

1分钟前; 火箭Lucky完成签到，获得积分10

1分钟前; oaoalaa完成签到，获得积分10

1分钟前; Charlie完成签到，获得积分10

1分钟前; 自由飞翔完成签到，获得积分10

2分钟前; Shirley发布了新的文献求助10

2分钟前; 若眠完成签到，获得积分10

2分钟前; 小蘑菇的应助被zhangxr采纳，获得10

2分钟前; 开心每一天完成签到，获得积分10

3分钟前; Shrimp完成签到，获得积分10

3分钟前; 执着晓亦完成签到，获得积分10

3分钟前; 在水一方的应助被fox采纳，获得10

3分钟前; 缥缈映安完成签到，获得积分10

4分钟前; 科研通AI2S上传了应助文件

4分钟前; 在水一方上传了应助文件

4分钟前; fox发布了新的文献求助10

4分钟前; zhzh0618完成签到，获得积分10

4分钟前; 糖宝完成签到，获得积分10

5分钟前; 夏林完成签到，获得积分10

5分钟前; 未完成完成签到，获得积分10

5分钟前; 研友_850aeZ完成签到，获得积分10

6分钟前; 柒月完成签到，获得积分10

6分钟前; Gary完成签到，获得积分10

6分钟前; 3080完成签到，获得积分10

6分钟前; 大轩完成签到，获得积分10

6分钟前; 科研通AI2S上传了应助文件

6分钟前; madison完成签到，获得积分10

7分钟前; 居居侠完成签到，获得积分10

7分钟前; Tong完成签到，获得积分0

7分钟前; 科研通AI2S上传了应助文件

8分钟前; 墨言无殇完成签到，获得积分10

8分钟前; CUN完成签到，获得积分10

9分钟前