タイムペトリネットを用いた踏切制御プログラムの形式的検証

スポンサーリンク

概要

• 論文の詳細を見る
• 電気学会の論文
• 1994-12-20

著者

• 佐々木 亮悦

  日本信号

• 米田 友洋

  東京工大

関連論文

• タイムペトリネットを用いた踏切制御プログラムの形式的検証

スポンサーリンク