首页
产品
黄页
商标
征信
会员服务
注册
登录
全部
|
企业名
|
法人/股东/高管
|
品牌/产品
|
地址
|
经营范围
发明名称
PROCEDE ET SYSTEME DE VERIFICATION DE PROPRIETES D'UN PROGRAMME INFORMATIQUE.
摘要
申请公布号
FR2911971(B1)
申请公布日期
2009.04.24
申请号
FR20070000557
申请日期
2007.01.26
申请人
COMMISSARIAT A L'ENERGIE ATOMIQUE ETABLISSEMENT PUBLIC A CARACTERE INDUSTRIEL ET COMMERCIAL
发明人
CUOQ PASCAL;MONATE BENJAMIN
分类号
G06F11/00;G06F21/00
主分类号
G06F11/00
代理机构
代理人
主权项
地址
您可能感兴趣的专利
TRANSMISSION MECHANISM AND LOAD SUPPORTING SADDLE AND FRAME
DIGITAL SIGNAL TIME BASE CONNECTION
PREPARATION OF ALKYL IODIDES
LIQUID DELIVERY SYSTEMS
COMBUSTIBLE COMPOSITION FOR FIRELIGHTERS AND ARTIFICIAL LOGS
7-AMINO-1-CYCLOPROPYL-4-OXO-1,4-DIHYDRO-NAPHTHY-RIDINE- 3-CARBOXYLIC ACIDS
DEVICE TO FEED A RIBBON OF SAUSAGE SUPPORT LOOPS INTO CLIP ATTACHMENT APPARATUS
FORMPRESSMISCHUNG
ROOT-CROP HARVESTER
TOY FIGURES
AMINO-RESIN COMPOSITIONS
INDOLDERIVATE UND VERFAHREN ZU IHRER HERSTELLUNG
PROCESSING OF RADIATION SENSITIVE DEVICES
THERAPEUTISCHE ZUSAMMENSETZUNGEN MIT SCHMERZSTILLENDEN UND ENTZUENDUNGSHEMMENDEN EIGENSCHAFTEN, DIE ALS WIRKSTOFFE ADENOSINDERIVATE ENTHALTEN
NYA 4-KARBAMOYLOXIOXAZAFOSFORINER SAMT FORFARANDE FOR FRAMSTELLNING DERAV
NYTT SETT ATT FRAMSTELLA APOVINKAMINSYRAESTRAR
IMPREGNAZIONE DI ARTICOLI POROSI.
INJEKTIONSLASER
LEUCHTE MIT GASENTLADUNGSLAMPE
VERFAHREN ZUM BESTIMMEN DER APPRETURMENGE AUF VORBEILAUFENDEM GARN