首页
产品
黄页
商标
征信
会员服务
注册
登录
全部
|
企业名
|
法人/股东/高管
|
品牌/产品
|
地址
|
经营范围
发明名称
Method of Verification of a Finite State Sequential Machine and Resulting Information Support and Verification Tool
摘要
申请公布号
CA2132691(A1)
申请公布日期
1995.05.03
申请号
CA19942132691
申请日期
1994.09.22
申请人
BULL S.A.
发明人
TAMISIER, THOMAS
分类号
G06F7/00;G06F17/50;G06F19/00;(IPC1-7):G06F15/31
主分类号
G06F7/00
代理机构
代理人
主权项
地址
您可能感兴趣的专利
Sortie d'arbre résistant à la pression pour les machines électriques blindées
Servovalve électrohydraulique
Nouvelles thermistances
Dispositif de fermeture à boucle articulée pour colliers de perles
Procédé de fabrication de produits destinés à régler la viscosité et à assurer la rétention de l'eau des solutions pour évacuation des débris de forage
Procédé d'obtention de dérivés du cyclopentanoperhydrophénanthrène
Transmission à variateur à friction pour véhicules
Procédé industriel de préparation d'amides d'acides gras en c8 c18
Procédé de préparation de nouveaux dérivés iodés notamment de l'éther-oxyde du polyéthylène glycol et de l'huile de ricin et produits conformes à ceux obtenus par le présent procédé ou procédé similaire
Perfectionnements à la préparation en continu de chlore et de dioxyde de chlore
Nouveaux carbamates à structure benzimidazolique
Dérivés oxyéthylénés des benzimidazoles
Procédé de préparation d'hydroxycycloalcanones et produits résultant de ce procédé
Dispositif de récipient pour liquide
Escalier roulant
échaufaudage constitué par des cadres en tube d'acier
Procédé perfectionné de préparation d'un dérivé de la morpholine
Nouvelles cétones dérivées des benzimidazoles sulfonés et sulfamidés
Nouveaux dérivés trithio et tétrathiophosphoriques utilisables comme antiparasitaires
Dispositif optique-électronique semi-conducteur