首页
产品
黄页
商标
征信
会员服务
注册
登录
全部
|
企业名
|
法人/股东/高管
|
品牌/产品
|
地址
|
经营范围
发明名称
METHOD AND SYSTEM FOR CHECKING THE PROPERTIES OF A COMPUTER PROGRAM
摘要
申请公布号
EP2109821(A2)
申请公布日期
2009.10.21
申请号
EP20080708225
申请日期
2008.01.25
申请人
COMMISSARIAT A L'ENERGIE ATOMIQUE
发明人
CUOQ, PASCAL;MONATE, BENJAMIN
分类号
G06F11/36
主分类号
G06F11/36
代理机构
代理人
主权项
地址
您可能感兴趣的专利
Video encoding/decoding method and apparatus for motion compensation prediction
Method, system and computer program for polynomial based hashing and message authentication coding with separate generation of spectrums
Proxy IGMP client and method for providing multicast broadcast services in a broadband wireless access network
Security configuration with an inductively coupled touch sensitive keypad in or on a window pane and motor vehicle with the security configuration
Communication connector with improved crosstalk compensation
Safety arrangement of an elevator having sensors limiting extent of elevator travel
Address bar user interface control
Optical transmission apparatus
Method and apparatus for centralized selection of a control network
Specimen-transport module for a multi-instrument clinical workcell
Client device configuration with hooks
Network control system for home appliances
Pneumatic tire having directional tread pattern
Identifying threats in electronic messages
Methods and system for utility network outage detection
Control device and control method of boost converter
Communication system and communication apparatus
Paper discharge structure and image forming apparatus using the same
Apparatus and method for a multi-tap series resistance heating element in a belt fuser
Recording apparatus and record medium for successively reproducing movie data