確率的モデル検査器を用いたFRAMモデル理解の支援  [in Japanese] Support of FRAM model understanding using a probabilistic model checker  [in Japanese]

Access this Article

Journal

  • ソフトウェアエンジニアリングシンポジウム2019論文集

    ソフトウェアエンジニアリングシンポジウム2019論文集 (2019), 116-125, 2019-08-22

Codes

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