京东 11.11 红包
ICCSE 2021- Issues and Challenges of Safety and Reliability in Industrial IOT
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
ICCSE 2021：Transforming Manufacturing Industry from Automation to Intelligenizat
...
ISSRE 2021卓越企业论坛：TrustTest-Reliability and Resilience Verification in Huawei
...
BlockSys 2021：Maintaining Smart Contracts Opportunties and Challenges
...
ISSRE 2021主旨演讲：Exploration of pathway to a reliable intelligent system
...
IJTCS 2021 Industry Forum-Blockchain
...
IJTCS 2021 Industry Forum - The Implication of EconCS in Online Markets
...
2021年8月29日泛在操作系统CCF系统软件技术论坛
...
2021 CCF软件大会 优秀博士论坛
...
ISSRE 2021 最佳研究论文候选
...
SETTA 2021: Mechanically Finding the Right Probabilities in Markov Models
...
ISSRE 2021主旨演讲Program Analysis中国科学院大学张健教授
...
2021年10月形式化方法专委战略研讨会-上午
...
SETTA 2021 香港科技大学的Charles Zhang教授静态程序分析
...
DSA 2022特邀报告
...
BlockSys 2021：Understanding Blockchain Systems From Performance Perspectie
...
第20届CCF 全国嵌入式系统大会--芯片形式化验证技术及其应用案例、电子系统空间辐射效应建模仿真方法
...
数字粮库
...
第七届区块链全球峰会-2021年10月27日下午第一段
...
ISSRE2021学术讨论
...
RobOT Robustness-Oriented Testing for Deep Learning+面向TCP 协议栈的模糊测试框架+Practical V
...
后E级计算：挑战和对策--钱德沛
...
泛在操作系统：机遇与挑战--梅宏院士
...
2022年4月28日学术研究方法浅谈--北航马帅
...
2021年全国开放式分布与并行计算学术年会 DPCS 2021
...
IJTCS 2021Women in EconCS Panel
...
第20届CCF 全国嵌入式系统大会--面向芯片可靠性的任务调度、开源硬件与开源软件、先进技术节点下的混合行高单元合法化研究
...
2021年8月10日科技创新与社会发展沙龙-泛在操作系统及其生态
...
ISSRE 2021 Code Maintainability and Testing
...
2022年3月人工智能论坛机器之心AI科技年会（下午前两个）
...
形式化方法与系统软件：一个实践者的视角
...
软件工程未来趋势研讨会-2022.7.16
...
自动驾驶与网络安全
...
ROSMonitoring， runtime verification
...
TASE 2021 Invited Talk - Moshe Y. Vardi -Program Verification a 70+ Year
...
Some Progressed of SAT-SMT Solving，互补近似可达技术及其应用研究
...
芯片形式验证技术及应用--华为
...
处理器能用面向对象方法设计吗？--孙凝晖
...
基于软件度量的Solidity智能合约缺陷预测方法
...
中国计算机学会形式化方法专委战略研讨会： 基于形式化方法的计算系统设计与验证（下午场：人机物融合系统设计、综合与监控）
...
2021年12月CNCC2021 分片区块链中的编程模型初探