...
机译:构造检查序列的通用算法
MITRE Corporation, Bedford, MA 01730;
Checking experiments; fault detection; sequential machines; synchronous machines; validating sequence;
机译:构建用于分布式测试的检查序列
机译:创新序列在飞机传感器故障检测中的应用:检查协方差矩阵算法的比较
机译:构建最小成本自适应区分序列的有效算法
机译:在检查序列中普遍消除冗余
机译:用于计数数据的广义线性空间模型的贝叶斯模型检查。
机译:基于序列相似度的广义Baum-Welch算法
机译:近似算法的概率可检验证明及其后果