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

カテゴリ: 全国大会

論文No: 3-S10-1

グループ名: 【全国大会】平成13年電気学会全国大会論文集

発行日: 2001/03/21

著者名: 中芝崇明 (大阪大学),土屋晃胤 (大阪大学),一階良知 (大阪大学),薦田憲久 (大阪大学)

原稿種別: 日本語

PDFファイルサイズ: 486 Kバイト