发明名称 Method for verifying code transformers for an incorporated system
摘要
申请公布号 HK1040304(A1) 申请公布日期 2006.03.10
申请号 HK20020101583 申请日期 2002.03.01
申请人 BULL CP8;INSTITUT NATIONAL DE LA RECHERCHE EN INFORMATIQUEET EN AUTOMATIQUE;CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE 发明人 GOIRE CHRISTIAN;JENSEN THOMAS;FRADET PASCAL;LE METAYER DANIEL;DENNEY EWEN
分类号 G06K19/07;G06F9/44;G06F9/445;G06F9/45;G06F11/28;G06F11/36;G06F21/22;(IPC1-7):G06F 主分类号 G06K19/07
代理机构 代理人
主权项
地址