Discrete Event Dynamic Systems. 2015;25(1-2):251-270. doi: 10.1007/s10626-014-0193-7 Q31.02025

Enforcing opacity of regular predicates on modal transition systems

在模态转换系统上强制正则谓词的不透明性

DOI: 10.1007/s10626-014-0193-7

摘要

Copyright © Discrete Event Dynamic Systems. 中文内容为AI机器翻译，仅供参考！