商標ウォッチ

TOP｜特許｜意匠｜商標

商標ウォッチ Twitter

公開日2024-07-18
公報種別公開国際商標公報
国際登録番号1788931
国際登録日2023-12-13
区分第9類(機械器具),第42類(科学・技術)
商品役務Registered computer programs including computer programs for verifying systems; computer applications programs for selecting and configuring data processing equipment in accordance with pre-established criteria; generic software modules implementing decisions procedures, each for a certain logic; chips (integrated circuits); data based computer aided software engineering (CASE) applications; registered computer programs for verifying hardware and software systems.,Research and development services regarding new products; computer programming; updating and verifying of computer programs; consultancy in the field of systems development and formal verification of computer systems; research and development services regarding formal verification technology; industrial design; engineering services regarding special software modules including equivalence checking of combinational circuits (chips); developing and providing expert solutions relating to automated verification based on model checking techniques.
基礎出願番号006476881
基礎出願日2007-11-30
基礎出願国EM
出願人Prover Technology AB
OCRテキストEngineering a Safer World
OCRテキスト2EngineeringaSaferWorld
OCRについて

この商標をJ-PlatPatで参照する

関連商標

株式会社ナインアワーズ

エバ・ジャパン株式会社

三菱電機株式会社

三菱電機株式会社

株式会社メニコン

株式会社メニコン

システム・アルファ株式会社

株式会社アイネクスト

株式会社スマートエデュケーション

ミドリ安全株式会社

埼玉トヨペット株式会社

ROLLCAKE株式会社

アレイション,インコーポレイテッド

アレイション,インコーポレイテッド

アレイション,インコーポレイテッド

株式会社トライ-アングル

ナカバヤシ株式会社

株式会社二宮書店

BOVLIFE株式会社

BOVLIFE株式会社

埼玉トヨペット株式会社

ベストライセンス株式会社

株式会社トレードワークス

ピーティーテレコムニカシセルラー

ピーティーテレコムニカシセルラー

株式会社ムービック

株式会社ムービック

株式会社オオスキ現場市場

株式会社オオスキ現場市場

エクストラオーディナリー・テックエルティーディー

ファーサン・ピー・ティー・イー・リミテッド

蘇州楽享智能科技有限公司

株式会社トレードワークス

続きを見る