法律状态公告日
法律状态信息
法律状态
2018-02-27
实质审查的生效 IPC(主分类):G06F11/36 申请日:20151207
实质审查的生效
2017-06-13
公开
公开
机译: 数据链路层路径信息存储方法,数据链路层路径信息检索方法,用于实现数据链路层路径信息检索方法的通信设备,以及这些数据链路层路径信息存储方法以及数据链路层路径信息检索方法存储用于执行相应程序的程序
机译: 软件模型检查中基于插值的路径约简方法
机译: 软件模型检查中基于插值的路径约简方法