退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN115185812A
专利类型发明专利
公开/公告日2022-10-14
原文格式PDF
申请/专利权人 北京控制工程研究所;
申请/专利号CN202210641003.8
发明设计人 张锦坤;乔磊;杨孟飞;杨桦;刘波;马智;
申请日2022-06-07
分类号G06F11/36;
代理机构中国航天科技专利中心;
代理人张辉
地址 100080 北京市海淀区北京2729信箱
入库时间 2023-06-19 17:09:24
法律状态公告日
法律状态信息
法律状态
2022-10-14
公开
发明专利申请公布
机译: 用于复杂嵌入式系统设计验证的混合快速原型制作装置及使用该装置的快速验证方法
机译: 一种用于执行一系列验证测试以验证数据处理系统设计的装置和方法
机译:使用形式化模型的嵌入式系统验证一种基于UML和Maude语言结合使用的方法
机译:xTune:移动嵌入式系统的跨层调整的形式化方法
机译:用于嵌入式数据为主的应用程序的形式化三层系统级模型和重用方法
机译:二级分层调度系统设计与验证的一种形式化方法
机译:嵌入式控制系统设计和验证的正式方法:应用于自动驾驶汽车。
机译:一种人机交互系统的形式化验证方法
机译:嵌入式系统设计和仿真的形式化方法
机译:一种操作系统设计方法