×

找到19个文档（结果1-19）

最新的 引文 关联
林多·纳卡尼西;Yoshiaki高田;弘久世奇（Hiroyuki Seki）

确定性自下而上标称树自动机的主动学习。 （英语） Zbl 07719841号

Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13572, 342-359 (2022).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Nakanishi}等人，Lect。注释计算。科学。13572342--359（2022；Zbl 07719841）
全文： 内政部 arXiv公司
阿齐兹·斯法尔;迪娜·伊罗夫蒂;马达琳娜·克罗伊托鲁

电厂控制器中逻辑功能图的基于图的语义。 （英语） Zbl 07630639号

Varzinczak，Ivan（编辑），《信息和知识系统基础》。第十二届国际研讨会，FoIKS 2022，芬兰赫尔辛基，2022年6月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13388, 55-74 (2022).
MSC公司：第68页，共15页 68T27型 68层35 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{A.Sfar}等人，Lect。注释计算。科学。13388，55-74（2022；Zbl 07630639）
全文： 内政部 链接
多龙·贝利德

通过自动机学习进行逆向工程。 （英语） Zbl 1520.68077号

Bartocci，Ezio（编辑）等人，《外层空间的形式方法》。纪念克劳斯·哈维隆德65岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。13065, 182-192 (2021).
MSC公司：60年第68季度 68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Peled}，莱克特。注释计算。科学。13065、182--192（2021；Zbl 1520.68077）
全文： 内政部
马库斯·弗洛姆;伯恩哈德·斯特芬

运行时验证和自动机学习的无上下文共生。 （英语） Zbl 1520.68073号

Bartocci，Ezio（编辑）等人，《外层空间的形式方法》。纪念克劳斯·哈维隆德65岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。13065, 159-181 (2021).
MSC公司：60年第68季度 68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Frohme}和\textit{B.Steffen}，莱克特。注释计算。科学。13065159——181（2021年；兹比尔1520.68073）
全文： 内政部
达纳州安格鲁因;达纳·菲斯曼;雅拉·绍瓦尔

\（\omega \）-自动机的多项式标识。 （英语） 兹比尔1483.68153

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 325-343 (2020).
MSC公司：65年第68季度 68问题32
PDF格式BibTeX公司 XML格式引用
\textit{D.Angluin}等人，Lect。注释计算。科学。12079325--343（2020；Zbl 1483.68153）
全文： 内政部
OA许可证
托比亚斯·卡佩;保罗·布鲁内特;亚历山德拉·席尔瓦;工资制造者，贾纳;法比奥·扎纳西

并发Kleene代数与观察：从假设到完整性。 （英语） Zbl 07250948号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 381-400 (2020).
MSC公司：68新元 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Kappé}等人，Lect。注释计算。科学。12077，381--400（2020；Zbl 07250948）
全文： 内政部 arXiv公司
OA许可证
卡尔·梅恩克;信度省，穆达萨尔A。

反应系统的基于增量学习的测试。 （英语） Zbl 1335.68144号

Gogolla，Martin（编辑）等人，《测试与证明》。2011年6月30日至7月1日在瑞士苏黎世举行的2011年第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21767-8/pbk）。计算机科学课堂讲稿6706134-151（2011）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛K.Meinke｝和\textit｛M.A.Sindhu｝，Lect。注释计算。科学。6706134--151（2011年；Zbl 1335.68144）
全文： 内政部
马丁·勒克

学习与验证相结合。 （英语） Zbl 1147.68541号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2006年11月7日至10日在荷兰阿姆斯特丹举行的2006年FMCO第五届国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 978-3-540-74791-8/pbk）。计算机科学课堂讲稿4709127-151（2007）。
MSC公司：68问题32 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Leucker}，莱克特。注释计算。科学。4709127--151（2007年；Zbl 1147.68541）
全文： 内政部
谢高燕;当、哲

并发黑盒测试系统——一种自动机理论和分解方法。 （英语） Zbl 1183.68184号

Grieskamp，Wolfgang（编辑）等人，《软件测试的形式化方法》。2005年7月11日，英国爱丁堡，第五届国际研讨会，命运2005。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-34454-3/pbk）。计算机科学课堂讲稿3997170-186（2006）。
MSC公司：68号30 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛G.Xie｝和\textit｛Z.Dang｝，Lect。注释计算。科学。3997、170--186（2006年；Zbl 1183.68184）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件