摘要：一种适用于互连的Mealy机器网络的灰盒一致性测试方法
作者：Alberto Larrauri, Roderick Bloem
论文ID：2206.07441
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-06-16
PDF 下载： 英文版 中文版pdf翻译中