Automatic Generation of Model Checking Scripts based on Environment Modeling

Journal

Research report   [List of Volumes]

Research report IS-RR-2010-001, [1-8], 2010-02-10  [Table of Contents]

Japan Advanced Institute of Science and Technology

Codes

  • NII Article ID (NAID) :
    110007501205
  • NII NACSIS-CAT ID (NCID) :
    AN10495756
  • Text Lang :
    ENG
  • ISSN :
    09187553
  • Databases :
    NII-ELS 

Export