学术信息-系统可信性自动验证国家地方联合工程实验室

学术信息

当前位置: 首页 >> 学术信息

[学术活动]国地实验室参加四川省网络空间安全行业协会第一届会员大会: 时间：2018年06月19日阅读次数：

[学术活动]美国迈阿密大学Geoff教授来我校讲学并开展科研合作交流: 时间：2018年06月19日阅读次数：

[学术活动]美国迈阿密大学Geoff Sutcliffe教授系列报告(1-4): 时间：2018年06月02日阅读次数：

[学术活动]Academic report: The TPTP World -Infrastructure for Automated Reasoning: 时间：2018年06月01日阅读次数：

[学术活动]系统可信性自动验证国家地方联合实验室2017-2018学年度第二学期学术报告安排（研究生学术交流部分）: 时间：2018年04月12日阅读次数：

[学术活动]面向异构体系结构的大规模科学计算及大数据应用: 时间：2017年10月26日阅读次数：

[学术活动]学术讲座-----趣味密码学: 时间：2017年10月13日阅读次数：

[学术活动]学术讲座——信息安全风险评估与控制: 时间：2017年09月21日阅读次数：

[学术活动]程序验证中的数学方法---自动推理: 时间：2017年09月11日阅读次数：

[学术活动]基于邻域系统决策与控制算法之最新进展: 时间：2017年09月05日阅读次数：

首页上页1下页尾页