酒井 良哲 | (株)東芝

スポンサーリンク

概要

• 酒井 良哲の詳細を見る
• 同名の論文著者
• (株)東芝の論文著者

関連著者

• 酒井 良哲

  (株)東芝

• 高田 広章

  豊橋技術科学大学

• 藤田 昌宏

  東京大学大学院工学系研究科電子工学

• 本田 晋也

  豊橋技術科学大学 情報工学系

• 藤田 昌宏

  東京大学工学系研究科

• 木下 常雄

  SpecC Technology Open Consortium事務局

• 石井 忠俊

  (株)インターデザイン・テクノロジー

• Olivarez Mike

  Motorola, Inc.

• 冨山 宏之

  (財)九州システム情報技術研究所

• 竹井 良彦

  松下通信工業(株)

• Olivarez Mike

  Motorola Inc.

• 石井 忠俊

  株式会社インターデザイン・テクノロジー

• 藤田 昌彦

  東京工業大学 大学院社会理工学研究科

• SAKAI Yoshisato

  Corporate Software Engineering Center, Toshiba Corporation

もっと見る 閉じる

著作論文

• SpecC言語に基づくシステムレベル設計手法
• SpecC言語に基づくシステムレベル設計手法
• SpecC言語に基づくシステムレベル設計手法
• A Tableau Construction Approach to Control Synthesis of FSMs Using Simulation Relations(Selected Papers from the 19th Workshop on Circuits and Systems in Karuizawa)
• A tableau construction for control synthesis of FSMs (形式的手法)

スポンサーリンク