退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN110347405A
专利类型发明专利
公开/公告日2019-10-18
原文格式PDF
申请/专利权人 电子科技大学;
申请/专利号CN201910591845.5
发明设计人 杨霞;郭文生;罗雄;高扬;卢秀台;张冯博;廖士钞;向蓓蓓;古涛铭;瞿元;钱智成;李南铮;潘文睿;黄一;熊宇;
申请日2019-07-01
分类号G06F8/41(20180101);
代理机构51268 成都虹盛汇泉专利代理有限公司;
代理人王伟
地址 611731 四川省成都市高新区(西区)西源大道2006号
入库时间 2024-02-19 14:39:51
法律状态公告日
法律状态信息
法律状态
2019-11-12
实质审查的生效 IPC(主分类):G06F8/41 申请日:20190701
实质审查的生效
2019-10-18
公开
机译: 通过加热härtbare,一种醇酸树脂和一种形式化的醛缩合产品生产出一种含有1,3,5个三嗪类氨基酸的氨基,并用它来生产schichtpressstoffen
机译: 一种用于一般性地描述和调度模块化打印机的操作的系统
机译:一种基于状态转换表示转换的硬件/软件协同设计的形式化验证方法
机译:基于MARTE的模块化组合航空电子系统配置的形式化验证方法。
机译:基于功能角色的动态责任分离的形式化验证方法
机译:一种调度模块化组件预防性维护的目标规划方法
机译:一种工具主义的验证方法:一种新型煤气化模型的定量评估。
机译:一种人机交互系统的形式化验证方法
机译:一种检验数据完整性的形式化验证方法
机译:开发一种检测压水堆(pWR)乏燃料组件引脚导流的保护验证方法和仪器。第一阶段研究