在监控理论中,处理状态膨胀的标准方法之一是基于语言或谓词的模监控。
One of the standard ways to handle the state explosion in large systems is to practise the modular supervision of languages or predicates, or of discrete event systems.
在监控理论中,处理状态膨胀的标准方法之一是基于语言或谓词的模监控。
One of the standard ways to handle the state explosion in large systems is to practise the modular supervision of languages or predicates, or of discrete event systems.
应用推荐