AN INVARIANT CHECKING METHOD AND APPARATUS USING BINARY DECISION DIAGRAMS IN COMBINATION WITH CONSTRAINT SOLVERS,申请号EP20030761903-传众专利搜索

首页产品黄页商标征信

会员服务注册登录

法人/股东/高管

发明名称	AN INVARIANT CHECKING METHOD AND APPARATUS USING BINARY DECISION DIAGRAMS IN COMBINATION WITH CONSTRAINT SOLVERS
摘要
申请公布号	EP1516243(A1)	申请公布日期	2005.03.23
申请号	EP20030761903	申请日期	2003.06.26
申请人	THE GOVERNMENT OF THE UNITED STATES OF AMERICA ASREPRESENTED BY THE SECRETARY OF THE NAVY	发明人	BHARADWAJ, RAMESH;SIMS, STEVE
分类号	G06F7/60;G06F7/10;G06F17/10;G06F17/50;(IPC1-7):G06F7/60	主分类号	G06F7/60
代理机构		代理人
主权项
地址

您可能感兴趣的专利

INTELLIGENT BATTERY DEVICE

CYLINDRICAL BATTERY AND BATTERY ASSEMBLY USING THE BATTERY

METALLIC SHEET LAMINATED WITH GAS-BARRIER FILM AND ITS PRODUCTION

CRUDE REFUSE PULVERIZING AND DEHYDRATING DEVICE AND CRUDE REFUSE PULVERIZING AND DRYING DEVICE

RADIO COMMUNICATION EXCHANGE SYSTEM, EXCHANGE, PUBLIC KEY MANAGEMENT DEVICE, MOBILE TERMINAL AND MOBILE TERMINAL RECOGNIZING METHOD

OPERATING EQUIPMENT OF OPENING/CLOSING BODY WHICH USES DC MOTOR

FED AMOUNT IDENTIFICATION MECHANISM AND AUTOMATIC VENDING MACHINE HAVING THE MECHANISM

SCANNING TEST METHOD FOR SEMICONDUCTOR INTEGRATED CIRCUIT

ELECTRIC CORROSION PROTECTION DEVICE WITH EXTERNAL POWER SYSTEM

PREPARATION OF YELLOW DYE FOR COLORING CHINESE NOODLE

ELECTRIC POWER SUPPLYING DEVICE, POWER GENERATING SET AND ELECTRONIC EQUIPMENT

DC POWER SUPPLY DEVICE

COLLATION JUDGMENT INFORMATION OF GAME MACHINE CONTROL SUBSTRATE AND ENCIPHERING COMMUNICATION SYSTEM

METHOD FOR DECIDING CAPACITY OF ION-EXCHANGE RESIN, MANUFACTURE OF ULTRAPURE WATER USING THE ION-EXCHANGE RESIN AND, MANUFACTURE OF THE ULTRAPURE WATER

DEODORIZING MASK

SYSTEM FOR SHARING COMPENSATION POWER 0F POWER LINE CONDITIONER

EXHAUST RECIRCULTION CONTROL DEVICE FOR INTERNAL COMBUSTION ENGINE WITH TWO-LINE COOLING DEVICE