CORC

浏览/检索结果: 共2条,第1-2条 帮助

已选(0)清除 条数/页:   排序方式:
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete 期刊论文
AUTOMATICA, 2017, 卷号: 81, 页码: 217-220
作者:  Zhang, Kuize
收藏  |  浏览/下载:209/0  |  提交时间:2018/07/30
Deciding Determinism of Regular Languages 期刊论文
Theory of Computing Systems, 2014
Lu, Ping (1); Bremer, Joachim (2); Chen, Haiming (1)
收藏  |  浏览/下载:14/0  |  提交时间:2014/12/16


©版权所有 ©2017 CSpace - Powered by CSpace