×

找到20个文档（结果1–20）

最新的 引文 关联
多龙·贝利德

通过自动机学习进行逆向工程。 （英语） 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）
全文： 内政部
拉杜·格罗苏;多龙·贝利德;罗马克里希南，C.R。;斯科特·斯莫尔卡。;斯科特·斯托勒。;杨俊兴

成分分支时间测量。 （英语） Zbl 1416.68113号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8415, 118-128 (2014).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Grosu}等人，Lect。注释计算。科学。8415，118--128（2014；Zbl 1416.68113）
全文： 内政部
阿南达·巴苏;萨德克·本萨勒姆;多龙·贝利德;约瑟夫·西法基斯

基于模型检验的分布式系统优先级调度。 （英语） Zbl 1260.68030号

表格方法系统。设计。 39，第3期，229-245（2011）.
审核人：皮埃尔·利昂（卡鲁日）
MSC公司：64岁以下 68平方米 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Basu}等人，《形式方法系统》。设计。39，第3号，229--245（2011；Zbl 1260.68030）
全文： 内政部
萨德克·本萨勒姆;多龙·贝利德;约瑟夫·西法基斯

分布式系统的基于知识的调度。 （英语） Zbl 1288.68178号

Manna，Zohar（编辑）等人，《验证时间》。纪念埃米尔·普努利的散文。柏林：施普林格出版社（ISBN 978-3-642-13753-2/pbk）。计算机科学讲义6200，26-41（2010）。
MSC公司：68问题85 68平方米 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bensalem}等人，Lect。注释计算。科学。6200，26-41（2010；Zbl 1288.68178）
全文： 内政部 链接
加尔·卡茨;多龙·贝利德

遗传编程和模型检查：合成新的互斥算法。 （英语） Zbl 1183.68376号

Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311，33-47（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛G.Katz｝和\textit｛D.Peled｝，Lect。注释计算。科学。5311、33-47（2008年；Zbl 1183.68376）
全文： 内政部
彼得·尼伯特;多龙·贝利德;阿米尔·普努利

鉴别模型检查。 （英语） Zbl 1155.68444号

Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123，504-516（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.Niebert｝等人，Lect。注释计算。科学。5123、504--516（2008年；Zbl 1155.68444）
全文： 内政部
伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德;曲洪阳

灰盒检查。 （英语） Zbl 1225.68113号

Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229420-435（2006）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Elkind}等人，Lect。注释计算。科学。4229420-435（2006年；Zbl 1225.68113）
全文： 内政部
多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀

用于检查\（\omega \）-正则语言的闭包属性的算法方法。 （英语） Zbl 1514.68109号

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1119, 596-610 (1996).
MSC公司：65年第68季度 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Peled}等人，Lect。注释计算。科学。1119596-610（1996年；Zbl 1514.68109）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件