情報制御システムのモデル検査における状態爆発対策と課題  [in Japanese] Counterplan for state-explosion in model checking for Information Control System  [in Japanese]

Access this Article

Journal

  • ウィンターワークショップ2014・イン・大洗 論文集

    ウィンターワークショップ2014・イン・大洗 論文集 (2014), 43-44, 2014-01-16

Keywords

Codes

  • NII Article ID (NAID)
    170000080458
  • Text Lang
    JPN
  • Article Type
    conference paper
  • Data Source
    IPSJ 
Page Top