動作仕様記述言語 (SOL) に対する記号モデル検査法を用いた効率シーケンス制御論理検証方式の提案

• 中芝

収録刊行物

• 平成13年電気学会全国大会

  平成13年電気学会全国大会 2001

詳細情報

• CRID: 1573950400159661056
• NII論文ID: 10018983594
• データソース種別:
  • CiNii Articles