×

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

最新的 引文 关联
马库斯·弗洛姆；伯恩哈德·斯特芬

永远不要停止无语境学习。 （英语） Zbl 1522.68250号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13030, 164-185 (2022).
MSC公司：68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Frohme}和\textit{B.Steffen}，莱克特。票据计算。科学。13030164-185（2022年；Zbl 1522.68250）
全文： 内政部
埃迪·穆什卡丁；伯恩哈德·艾切尼格（Bernhard K.Aichernig）。；药丸，印戈；马丁·塔普勒

从递归神经网络学习有限状态模型。 （英语） Zbl 1502.68263号

ter Beek，Maurice H.（编辑）等，《综合形式方法》。2022年6月7日至10日，第17届国际会议，IFM 2022，瑞士卢加诺。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13274, 229-248 (2022).
MSC公司：68T05型 68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Muškardin}等人，Lect。票据计算。科学。13274、229--248（2022；Zbl 1502.68263）
全文： 内政部
马库斯·弗洛姆；伯恩哈德·斯特芬

运行时验证和自动机学习的无上下文共生。 （英语） 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}，莱克特。票据计算。科学。13065、159--181（2021；Zbl 1520.68073）
全文： 内政部
亨宁费尔瑙；佩特拉·沃尔夫；山崎富代

同步确定性下推自动机可能非常困难。 （英语） Zbl 07559404号

Esparza，Javier（ed.）等人，第45届计算机科学数学基础国际研讨会，MFCS 2020，2020年8月25日至26日，捷克共和国布拉格。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170，第33条，第15页（2020年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{H.Fernau}等人，LIPIcs——莱布尼茨国际程序。通知。170，第33条，第15页（2020；Zbl 07559404）
全文： 内政部 arXiv公司
亚历克斯·科托；罗伯托·瓜纳切莱；埃米利奥·托斯托

舞蹈测试的抽象框架。 （英语） Zbl 1477.68176号

Lange，Julien（编辑）等人，《第13届交互和并发体验研讨会论文集》，ICE’20，在线，2020年6月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32443-60（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Coto}等人，《电子》。程序。西奥。计算。科学。（EPTCS）324，43--60（2020；Zbl 1477.68176）
全文： 链接
亨宁费尔瑙；弗拉基米尔·古塞夫（Vladimir V.Gusev）。；斯特凡·霍夫曼；马库斯·霍尔泽；米哈伊尔·沃尔科夫。；佩特拉·沃尔夫

规则约束下同步的计算复杂性。 （英语） Zbl 07561707号

Rossmanith，Peter（ed.）等人，第44届计算机科学数学基础国际研讨会，2019年MFCS，德国亚琛，2019月26日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。138，第63条，第14页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{H.Fernau}等人，LIPIcs——莱布尼茨国际程序。通知。138，第63条，第14页（2019年；Zbl 07561707）
全文： 内政部
亚历山大·博洛托夫；蒙特塞拉特赫莫；帕基·卢西奥

扩展ECTL（^+）的公平性表示：一种树型单程表方法。 （英语） Zbl 1487.68154号

Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120，第5条，22 p.（2018）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Bolotov}等人，LIPIcs——莱布尼茨国际程序。通知。120，第5条，22 p.（2018；Zbl 1487.68154）
全文： 内政部
J·朱利安德。；O.库什纳伦科。；马森，P.A。；沃伊隆，G。

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

程序。计算。柔和。 44，第1期，1-14（2018）; 译自Programmirovanie 44，No.1，3-20（2018）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Julliand}等人，《计划》。计算。柔和。44，第1号，1-14（2018；Zbl 1455.68104）；译自Programmirovanie 44，No.1，3--20（2018）
全文： 内政部
杰里米·范·戈尔普；亚历山德罗·朱阿；迈克尔·迪福特；穆罕默德·杰马伊

使用Mealy机器建模对切换系统进行主动诊断。 （英语） Zbl 1455.93095号

Sayed-Mouchaweh，Moamar（编辑），混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。147-173 (2018).
MSC公司：93立方 65年第68季度 93-10
PDF格式BibTeX公司 XML格式引用
\textit{J.van Gorp}等人，in：混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。147--173（2018；Zbl 1455.93095）
全文： 内政部 哈尔
托尼·曼奇尼；费德里科·马里奥；安娜丽莎·马西尼；伊戈尔·梅拉蒂；恩里科·特隆西

系统级形式验证的模拟器语义。 （英语） Zbl 1476.68153号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193，86-99（2015）。
MSC公司：60年第68季度 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{T.Mancini}等人，《电子》。程序。西奥。计算。科学。（EPTCS）193，86-99（2015；Zbl 1476.68153）
全文： arXiv公司 链接
马耳他州洛豪；斯文·佩尔德苏斯；马蒂亚斯·科瓦尔；伊娜·谢弗

基于模型的测试。 （英语） 兹比尔1445.68056

Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，意大利贝蒂诺罗，第14所计算机、通信和软件系统正式设计方法国际学校，SFM 2014。高级讲座。柏林：斯普林格。莱克特。票据计算。科学。8483, 310-342 (2014).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Lochau}等人，Lect。票据计算。科学。8483、310——342（2014年；Zbl 1445.68056）
全文： 内政部
福尔克·豪尔；伯恩哈德·斯特芬；本特·琼森；索菲亚·卡塞尔

推断规范寄存器自动机。 （英语） Zbl 1326.68168号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148251-266（2012）。
MSC公司：68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛F.Howar｝等人，Lect。票据计算。科学。7148251-266（2012年；兹bl 1326.68168）
全文： 内政部
福尔克·豪尔；伯恩哈德·斯特芬；梅腾

具有自动字母抽象精化功能的自动机学习。 （英语） Zbl 1317.68096号

Jhala，Ranjit（编辑）等人，《验证、模型检查和抽象解释》。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18274-7/pbk）。计算机科学课堂讲稿6538，263-277（2011）。
MSC公司：65年第68季度 68问题32
PDF格式BibTeX公司 XML格式引用
\textit{F.Howar}等人，Lect。票据计算。科学。6538、263--277（2011；Zbl 1317.68096）
全文： 内政部
蒂埃里·杰伦

基于符号模型的测试选择。 （英语） Zbl 1347.68228号

Patricia D.L.Machado（编辑），第十一届巴西正式方法研讨会论文集（SBMF 2008）2008年8月26日至29日，巴西萨尔瓦多。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记240，167-184（2009）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{Téron}，电子。注释Theor。计算。科学。240、167--184（2009年；Zbl 1347.68228）
全文： 内政部
帕维尔·马图金

非确定自动机中子集可达性的长度。 （英语） Zbl 1337.68154号

Halava，Vesa（编辑）等人，计算模型可达性问题第二次研讨会论文集（RP 2008），英国利物浦，2008年9月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记223187-200（2008）。
MSC公司：65年第68季度 93个B03
PDF格式BibTeX公司 XML格式引用
\textit{P.Martyugin}，电子。注释Theor。计算。科学。223187-200（2008年；兹bl 1337.68154）
全文： 内政部
Bonifácio，阿迪森·路易斯；阿纳多·维埃拉·穆拉；阿登尼索·达席尔瓦·西芒；何塞·卡洛斯·马尔多纳多

通过模型检查推导测试序列。 （英语） Zbl 1279.68198号

Moreira，Anamaria Martins（编辑）等人，《巴西正式方法研讨会论文集》（SBMF 2006），Natal，Rio Grande de Norte，巴西，2006年9月17日至23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记195，21-40（2008）。
MSC公司：60年第68季度 68米15
PDF格式BibTeX公司 XML格式引用
\textit{A.L.Bonifácio}等人，《电子》。注释Theor。计算。科学。195、21-40（2008年；Zbl 1279.68198）
全文： 内政部
马丁·勒克

学习与验证相结合。 （英语） 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）
全文： 内政部
贝特朗·珍妮特；蒂埃里·杰伦；弗拉德·鲁苏

无限状态反应系统的基于模型的测试选择。 （英语） 兹比尔1147.68572

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2006年11月7日至10日在荷兰阿姆斯特丹举行的2006年FMCO第五届国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 978-3-540-74791-8/pbk）。《计算机科学讲义》4709，47-69（2007）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Jeannet}等人，Lect。票据计算。科学。4709、47--69（2007年；Zbl 1147.68572）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件