V
主页
2021年10月形式化方法专委战略研讨会-上午
发布人
打开封面
下载高清视频
观看高清视频
视频下载器
2021年10月形式化方法专委战略研讨会-下午
中国计算机学会形式化方法专委战略研讨会: 基于形式化方法的计算系统设计与验证(下午场:人机物融合系统设计、综合与监控)
中国计算机学会形式化方法专委战略研讨会: 基于形式化方法的计算系统设计与验证(上午场:软硬件基础设施验证)
中国计算机学会形式化方法专委战略研讨会--软硬件基础设施验证,上午Panel
第七届区块链全球峰会-2021年10月27日下午第一段
中国计算机学会形式化方法专委战略研讨会--人机物融合系统设计、综合与监控 Panel,下午Panel
2021年江苏互联网+师生共创组2上午
ISSRE 2021主旨演讲:Exploration of pathway to a reliable intelligent system
ISSRE 2021主旨演讲Program Analysis中国科学院大学张健教授
TASE 2021 Invited Talk - Moshe Y. Vardi -Program Verification a 70+ Year
2021年11月10日基金申请讲座
形式化方法与系统软件:一个实践者的视角
ISSRE 2021 Defect and Fault Prediction+Cloud Computing and Smart Contract
轨道交通联锁系统形式化验证解决方案
ISSRE 2021 Code Maintainability and Testing
ISSRE 2021学术讨论
ISSRE 2021 最佳研究论文候选
工控协议的形式化新方法和安全评估模型关键技术
2021年江苏互联网+师生共创组2下午
2022.4.27--片上系统的模块化规范与形式化验证--张弘策(香港科技大学广州校区)
SETTA 2021: Mechanically Finding the Right Probabilities in Markov Models
2021年11月怎么做好科研与写好论文
2021年11月施巍松教授边缘计算背景应用和挑战讲座
《芯片形式验证技术及应用》+《硬件形式验证应用》+《形式化工具在 EDA 领域最新发展方向研究》
2021年9月8号王怀民院士-云际计算
ISSRE 2021卓越企业论坛:TrustTest-Reliability and Resilience Verification in Huawei
SETTA 2021 香港科技大学的Charles Zhang教授静态程序分析
2021年9月8号Deep Cooperation of CDCL and Local Search for SAT
2021年8月29日泛在操作系统CCF系统软件技术论坛
IJTCS 2021 Industry Forum - The Implication of EconCS in Online Markets
2021年12月一带一路人工智能大会:人工智能从“三要素”走向“四要素”
2022年3月人工智能论坛机器之心AI科技年会(上午)
2021年9月8号大数据预训练模型作为知识库的反思
可信系统性质的分类和形式化研究综述
2021年全国开放式分布与并行计算学术年会 DPCS 2021
第20届CCF 全国嵌入式系统大会--芯片形式化验证技术及其应用案例、电子系统空间辐射效应建模仿真方法
数字粮库
IJTCS 2021Women in EconCS Panel
2021 CCF软件大会 优秀博士论坛
IJTCS 2021 Industry Forum-Blockchain