即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法  [in Japanese] Model Checking of Cycle Accurate Hardware Behavior Models with Instantaneous Communication  [in Japanese]

Search this Article

Author(s)

Journal

  • 電子情報通信学会技術研究報告. CPSY, コンピュータシステム

    電子情報通信学会技術研究報告. CPSY, コンピュータシステム 106(456), 25-30, 2007-01-11

References:  12

Codes

  • NII Article ID (NAID)
    10018740507
  • NII NACSIS-CAT ID (NCID)
    AN10013141
  • Text Lang
    JPN
  • Article Type
    ART
  • Data Source
    CJP 
Page Top