×

找到9个文档(结果1-9)

从事件系统抽象生成测试,以覆盖其状态和转换。 (英语。俄文原件) Zbl 1455.68104号

程序。计算。柔和。 44,第1期,1-14(2018); 译自Programmirovanie 44,No.1,3-20(2018)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有完全召回的多智能体系统模型检测时间复杂度的指数改进。 (英语。俄文原件) Zbl 1257.68151号

程序。计算。柔和。 38,第6期,294-303(2012); 译自Programmirovanie 38,No.6(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

由逻辑程序控制的代理系统:验证的复杂性。 (英语。俄文原件) Zbl 1187.68626号

程序。计算。柔和。 35,第5期,266-281(2009); 译自Programmirovanie 35,No.5(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

全部的 前5名

出版年份

主字段