实时系统关于线性时序逻辑性质的模型检测工具

应用领域：电子与信息

技术领域：电子信息技术

所属省份：北京市

技术成熟度：可以量产 查看详情

大规模复杂场景的高效绘制

应用领域：电子与信息

技术领域：电子信息技术

所属省份：北京市

技术成熟度：可以量产 查看详情

带参并发系统的形式验证方法

应用领域：电子与信息

技术领域：电子信息技术

所属省份：北京市

技术成熟度：可以量产 查看详情

实时智能分析平台

应用领域：电子与信息

技术领域：电子信息技术

所属省份：北京市

技术成熟度：可以量产 查看详情

面向互动娱乐的视觉界面开发工具

应用领域：电子与信息

技术领域：电子信息技术

所属省份：北京市

技术成熟度：可以量产 查看详情

笔式操作平台(PBOP)

应用领域：电子与信息

技术领域：电子信息技术

所属省份：北京市

技术成熟度：可以量产 查看详情

安捷（Agilor）实时数据库产品

应用领域：电子与信息

技术领域：电子信息技术

所属省份：北京市

技术成熟度：可以量产 查看详情

网驰（ONCE）中间件平台

应用领域：电子与信息

技术领域：电子信息技术

所属省份：北京市

技术成熟度：可以量产 查看详情

软件过程服务系统和配套工具环境

应用领域：电子与信息

技术领域：电子信息技术

所属省份：北京市

技术成熟度：可以量产 查看详情

国产高性能蛋白质定量计算软件平台

应用领域：电子与信息

技术领域：电子信息技术

所属省份：北京市

技术成熟度：可以量产 查看详情