Sign in

Equivalence Checking Between System-Level Descriptions by Identifying Potential Cut-Points.

Jian HuGuanwu WangGuilin ChenYun KangLong WangJian Ouyang
Published in: CSPS (2019)
Keyphrases
  • database
  • multiscale
  • point sets
  • endpoints
  • semantic description
  • machine learning
  • website
  • case study
  • multi agent
  • rough sets
  • higher level
  • medial axis
  • natural language descriptions