Using DCM as a data structure for the reachability analysis algorithm for multirate automata, the complexity can considerably be decreased.

 
  • 理论上证得,DCM可以大大降低可达性分析算法的复杂度。
今日热词
目录 附录 查词历史