Automatic Generation of Model Checking Scripts based on Environment Modeling

収録刊行物

Research report   [巻号一覧]

Research report IS-RR-2010-001, [1-8], 2010-02-10  [この号の目次]

北陸先端科学技術大学院大学

各種コード

  • NII論文ID(NAID) :
    110007501205
  • NII書誌ID(NCID) :
    AN10495756
  • 本文言語コード :
    ENG
  • ISSN :
    09187553
  • 収録DB :
    NII-ELS