A tableau construction for control synthesis of FSMs (形式的手法)

スポンサーリンク

概要

• 論文の詳細を見る
• [電子情報通信学会]の論文
• 2006-04-24

著者

• 酒井 良哲

  (株)東芝

関連論文

• 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 (形式的手法)

スポンサーリンク