搜索结果: 1-1 共查到“计算机科学技术基础学科 实时系统”相关记录1条 . 查询时间(0.093 秒)
2024年7月24日，中国科学院软件研究所天基综合信息系统全国重点实验室安杰副研究员（第一作者）的论文The Opacity of Timed Automata被形式化方法领域顶级国际学术会议International Symposium on Formal Methods （FM 2024）接收。论文关注实时系统的不透明性（Opacity）这一信息安全性质，针对广泛使用的实时系统形式模型时间自动...
