The method includes describing and validating system by SDL/MSC, generating directed acyclic graph (DAG) , and dividing DAG into some sub DAGs.

 
  • 这种方法包括系统的 SDL/ MSC描述与验证、有向无环图 (DAG)的产生、DAG子图划分等几部分 .
今日热词
目录 附录 查词历史