篇名 | Matrix approach to verification and enforcement of nonblockingness for modular discrete-event systems | ||
来源期刊 | 中国科学 | 学科 | 数学 |
关键词 | dynamical approach modules | ||
年,卷(期) | zgkx_2020,(11) | 所属期刊栏目 | |
研究方向 | 页码范围 | 282-284 | |
页数 | 3页 | 分类号 | O151.21 |
字数 | 语种 | 中文 | |
DOI |