山際 肇 | 日本電気ソフトウェア北陸(株)

スポンサーリンク

概要

• 山際 肇の詳細を見る
• 同名の論文著者
• 日本電気ソフトウェア北陸(株)の論文著者

関連著者

• 田中 英俊

  日本電気ソフトウェア北陸(株)

• 山際 肇

  日本電気ソフトウェア北陸(株)

• 若林 一敏

  日本電気(株)

• 向山 輝

  日本電気(株)

• 菅波 和幸

  日本電気ソフトウェア北陸(株)

• 飛永 聡

  NECソフトウェア北陸(株)

• 向山 輝

  NEC C&C研究所

• 若林 一敏

  Nec C&cメディア研究所

• 藤田 友之

  日本電気(株)

• 菅波 和幸

  北陸日本電気ソフトウエア株式会社

• 藤井 利明

  Necコンピュータ事業部

• 田中 英俊

  Necソフトウエア北陸(株)

• 河合 正人

  日本電気(株)

• 田中 英俊

  日電ソフトウエア北陸(株)

• 菅波 和幸

  日電ソフトウエア北陸(株)

• 山際 肇

  日電ソフトウエア北陸(株)

• 山際 肇

  NECソフトウェア北陸(株)

• 向山 輝

  NEC(株)

• 若林 一敏

  NEC(株)

• 高橋 美希子

  NEC(株)

• 飛永 聡

  北陸日本電気ソフトウェア(株)

• 山際 肇

  北陸日本電気ソフトウェア(株)

• 田中 英俊

  日本電気(株)

• 向山 輝

  Nec C&c研究所

もっと見る 閉じる

著作論文

• 「形式的手法を用いた実用検証システム」 : 汎用機、スーパーコン、EWSの回路検証に全面適用
• 論理回路フォーマル検証システムCondorの多値論理対応について
• 論理検証システムEVERY7(II)
• 統合論理設計支援システムILOSにおける論理検証ツールEVERY4

スポンサーリンク