欢迎来到喀斯玛汇智科技服务平台

服务热线: 010-82648522

首页 > 成果推荐

成果列表

共匹配 303 个成果

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

应用领域: 电子与信息

技术领域: 电子信息技术

所属省份:北京市

技术成熟度:可以量产

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

应用领域: 电子与信息

技术领域: 电子信息技术

所属省份:北京市

技术成熟度:可以量产

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

应用领域: 电子与信息

技术领域: 电子信息技术

所属省份:北京市

技术成熟度:可以量产

实时智能分析平台

应用领域: 电子与信息

技术领域: 电子信息技术

所属省份:北京市

技术成熟度:可以量产

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

应用领域: 电子与信息

技术领域: 电子信息技术

所属省份:北京市

技术成熟度:可以量产

笔式操作平台(PBOP)

应用领域: 电子与信息

技术领域: 电子信息技术

所属省份:北京市

技术成熟度:可以量产

安捷(Agilor)实时数据库产品

应用领域: 电子与信息

技术领域: 电子信息技术

所属省份:北京市

技术成熟度:可以量产

网驰(ONCE)中间件平台

应用领域: 电子与信息

技术领域: 电子信息技术

所属省份:北京市

技术成熟度:可以量产

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

应用领域: 电子与信息

技术领域: 电子信息技术

所属省份:北京市

技术成熟度:可以量产

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

应用领域: 电子与信息

技术领域: 电子信息技术

所属省份:北京市

技术成熟度:可以量产

官方客服(周一至周五:8:30-17:30) 010-82648522