Automata; Electron devices; Logic circuits; Security; Web services; Computer science; Latches;
机译:对产品系列中的可变性进行建模和分析:具有可变性约束的模态转换系统的模型检查
机译:特色过渡系统:验证可变性密集系统的基础及其在LTL模型检查中的应用
机译:使用标记的过渡系统和Boole等式系统的网络进行部分模型检查
机译:使用有限转换系统模型来检查Web服务安全性
机译:通过在实践和教育中的行为博弈论和模型检验来提高网络物理系统的网络安全性。
机译:概率基因调控网络模型检验的最佳有限水平控制模型
机译:双转移petri网模型的有限无限模型检验
机译:通过行为博弈论和实践与教育模式检查提高网络物理系统的网络安全性。