功能安全
登陆
注册
  • 首页
  • 知识
  • 资讯
  • 工具
  • 学堂
  • 活动
  • 合作
首页> 知识
探秘程序的“预言术”:抽象解释与符号执行

探秘程序的“预言术”:抽象解释与符号执行

2026-05-19
2287
  • 鉴源实验室
  • 经验分享
  • 行业报告
《可信人工智能白皮书》免费下载

《可信人工智能白皮书》免费下载

2023-01-13
1379

《可信人工智能白皮书》从如何落实全球人工智能治理共识的角度出发,聚焦于可信人工智能技术、产业和行业实践等层面,分析了实现可控可靠、透明可释、隐私保护、明确责任及多元包容的可信人工智能路径,并对可信人工...

《中国互联网发展报告(2021)》免费下载

《中国互联网发展报告(2021)》免费下载

2023-01-13
1641

由中国互联网协会组织编撰的《中国互联网发展报告(2021)》在第二十届中国互联网大会上正式发布。该报告是中国互联网领域的大型编年体研究报告,是中国互联网行业发展忠实的记录者和见证者。报告自2002年开...

《2021中国“AI+制造”产业发展研究报告》免费下载

《2021中国“AI+制造”产业发展研究报告》免费下载

2023-01-13
1248

截止至2021年初,我国共有23个城市迈进GDP万亿的门槛。智能制造作为这23个万亿俱乐部城市市辖区出现频次最高、发展位置最靠前的产业,成为了亿欧智库万亿俱乐部系列报告的重点研究对象。亿欧智库将研究各...

《6G总体愿景与潜在关键技术白皮书》免费下载

《6G总体愿景与潜在关键技术白皮书》免费下载

2023-01-13
1510

当前,新一轮科技革命和产业变革突飞猛进,随着5G商用的大规模部署,全球业界已开启对下一代移动通信(6G)的探索研究,2021年6月6日,IMT-2030(6G)推进组(以下简称“推进组”)正式发布《6...

《2021网络安全人才市场状况研究报告》免费下载

《2021网络安全人才市场状况研究报告》免费下载

2023-01-13
1244

奇安信行业安全研究中心与智联招聘联合发布的《2021网络安全人才市场状况研究报告》显示,2021年第一季度网络安全人才需求快速升温,其中民营企业成网安人才需求主体,且随着数字化经济转型发展,政企机构对...

《全球趋势2040:一个竞争更加激烈的世界》解读

《全球趋势2040:一个竞争更加激烈的世界》解读

2023-01-11
1493

2021年6月23日,第十四场“工信安全智库”系列报告在线发布活动——“数字政策前瞻”成功举办。信息政策所网络安全研究室工程师王丽颖对《全球趋势2040:一个竞争更加激烈的世界》编译报告进行了解读。

《智能网联汽车数据安全研究》解读

《智能网联汽车数据安全研究》解读

2023-01-11
1262

《智能网联汽车数据安全研究》报告梳理了智能网联汽车的内涵及发展现状,总结了智能网联汽车数据安全发展形势,并分别从车企、网络安全企业和政府三个维度,概括了在智能网联汽车数据安全方面的举措与做法、面临的机...

《5G网络安全标准化白皮书 (2021版)》免费下载

《5G网络安全标准化白皮书 (2021版)》免费下载

2023-01-11
1324

2021年5月10日上午,在全国信息安全标准化技术委员会2021年第一次工作组“会议周”上,《5G网络安全标准化白皮书》正式发布。

《2020年我国互联网网络安全态势综述报告》免费下载

《2020年我国互联网网络安全态势综述报告》免费下载

2023-01-11
1353

国家互联网应急中心(CNCERT)编写的《2020年我国互联网网络安全态势综述》报告(以下简称“2020年态势报告”)正式发布。

《通感算一体化网络前沿报告》免费下载

《通感算一体化网络前沿报告》免费下载

2023-01-09
1500

本报告报告提出并分析了6G通感算一体化网络的内涵、典型应用场景与性能评价指标体系。

《 上一页 1 2 ...4 5 6 78 9 10 ...40 41 下一页 》
  • 推荐排行
  • 观模丨形式化工程方法之需求建模(上)
    观模丨形式化工程方法之需求建模(上)
    2024-02-19
    3970
  • 观擎丨浅谈操作系统的适航符合性(上)
    观擎丨浅谈操作系统的适航符合性(上)
    2023-07-11
    5702
  • 观辙丨汽车网络安全运营
    观辙丨汽车网络安全运营
    2023-07-11
    5031
  • 观模丨汽车电子ISO 26262:2018标准概述(一)
    观模丨汽车电子ISO 26262:2018标准概述(一)
    2023-05-08
    6929
  • 观辙丨TBOX通讯模组AT指令测试
    观辙丨TBOX通讯模组AT指令测试
    2023-05-08
    6522
  • 热门标签
  • 汽车电子
  • 自动驾驶
  • 功能安全
  • 电气机械
  • 信息安全
  • 汽车软件
  • 预期功能安全
  • 网络安全
  • 轨道交通
  • 水务
  • 航空航天
  • 智能网联汽车
  • 自动驾驶
  • 可信软件

已完成

数据加载中

  • 验证码登录
  • 账号登录
欢迎!登录您的账户
获取验证码
立即登录

没有账号,立即注册>

欢迎!登录您的账户
立即登录

没有账号,立即注册>忘记密码

  • 用户注册
欢迎注册
获取验证码
提交
我同意《用户使用协议》

已有账号,去登录

请选择你感兴趣的标签
  • 可信软件
  • 智能网联汽车
  • 自动驾驶
  • 网络安全
  • 汽车软件
  • 预期功能安全
  • 信息安全
  • 功能安全
  • 水务
  • 航空航天
  • 汽车电子
  • 电气机械
  • 轨道交通
  • 自动驾驶
  • 忘记密码
获取验证码
提交

返回登录

  • 51fusa安全社区
    地址:上海市普陀区同普路1030弄1号楼3层
    邮编:200333
    电话:021-62655886
    邮箱:marketing@ticpsh.com
  • 合作伙伴

    上海控安 启明星辰知白讲堂 SHCERT 数字工业知识中心 中国汽研北京分院 上汽培训中心 上海软件中心 赛宝认证中心 SAE International ATC 富士通南大 TUV NORD SGS 焉知汽车 普华基础软件 机械工业出版社 工业得到 博勘咨询 BSI英标 上汽零束开发者平台 亚远景 匠歆

沪公网安备31010702008313号 沪ICP备18019345号-2 © 2019 上海工业控制安全创新科技有限公司 保留所有权利