×

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

最新的 引文 关联
于斌；段振华；田聪

红绿灯控制系统的有界模型检验。 （英语） Zbl 1351.68169号

薛进云（编辑）等，第六届软件工具支持理论利用国际研讨会论文集（TTSS 2013），中国南昌，2013年10月27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记309，63-74，仅电子版（2014）。
MSC公司：60年第68季度 03B44号 90B20型
PDF格式BibTeX公司 XML格式引用
\textit{B.Yu}等人，《电子》。注释Theor。计算。科学。309、63-74（2014年；Zbl 1351.68169）
全文： 内政部
伊利耶斯·法尔科内；穆罕默德·贾比尔；阮，Thanh-Hung；马吕斯·博兹加；萨德克·本萨勒姆

基于组件的系统的运行时验证。 （英语） Zbl 1350.68060号

Barthe，Gilles（编辑）等人，《软件工程和形式化方法》。2011年11月14日至18日，乌拉圭蒙得维的亚，2011年SEFM第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24689-0/pbk）。计算机科学课堂讲稿7041204-220（2011）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Falcone}等人，Lect。注释计算。科学。7041204-220（2011；Zbl 1350.68060）
全文： 内政部 哈尔
穆罕默德·伊扎迪；阿里·莫瓦查尔

基于组合故障的约束自动机等价。 （英语） Zbl 1339.68187号

Michael Goldsmith（编辑）等人，《关键系统自动验证第七届国际研讨会论文集》（AVoCS 2007），英国牛津，2007年9月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第1期，105-122（2009）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Izadi}和\textit{A.Movaghar}，电子。注释Theor。计算。科学。250，第1号，第105-122条（2009年；Zbl 1339.68187）
全文： 内政部
保罗·巴拉里尼；安德拉斯·霍瓦思

产品形态CTMC的成分模型检查。 （英语） Zbl 1339.68163号

Michael Goldsmith（编辑）等人，《关键系统自动验证第七届国际研讨会论文集》（AVoCS 2007），英国牛津，2007年9月10日至12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》250，第1期，21-37（2009）。
MSC公司：60年第68季度 03B70号 60J28型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Ballarini}和\textit{A.Horváth}，电子。注释Theor。计算。科学。250，编号1，21-37（2009；Zbl 1339.68163）
全文： 内政部
萨德克·本萨勒姆；马吕斯·博兹加；约瑟夫·西法基斯；阮，Thanh-Hung

基于组件的系统和应用程序的组成验证。 （英语） Zbl 1183.68364号

Cha，Sungdeok（Steve）（编辑）等人，验证和分析自动化技术。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。《计算机科学讲义》5311，64-79（2008）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Bensalem}等人，Lect。注释计算。科学。5311、64--79（2008年；Zbl 1183.68364）
全文： 内政部 链接
萨拉·格拉达拉；安东内拉·桑顿；玛丽亚·路易莎·维拉尼

通过定向模型检查对并发系统进行形式化验证。 （英语） Zbl 1335.68139号

Merz，Stephan（编辑）等人，第六届关键系统自动验证国际研讨会论文集（AVoCS 2006），法国南希，2006年9月18日至19日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记185，93-105（2007）。
MSC公司：60年第68季度 03B44号 68问题85 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Gradara}等人，《电子》。注释Theor。计算。科学。185、93-105（2007年；Zbl 1335.68139）
全文： 内政部
伊迪丝·埃尔金；布莱斯·基内斯特；多龙·贝利德；曲洪阳

灰盒检查。 （英语） 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）
全文： 内政部
伯恩德·芬克贝纳；斯文·舍韦；马蒂亚斯·布里尔

自动合成合成模型检查的假设。 （英语） Zbl 1225.68115号

Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229143-158（2006）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Finkbeiner}等人，Lect。注释计算。科学。4229143-158（2006年；Zbl 1225.68115）
全文： 内政部
谢高燕；当、哲

并发黑盒测试系统——一种自动机理论和分解方法。 （英语） 兹比尔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）
全文： 内政部
拉内·克利维兰；杰拉尔德·吕特根

逻辑过程演算。 （英语） Zbl 1270.68210号

Nestmann，Uwe（编辑）等人，EXPRESS’02。2002年8月19日在捷克共和国布尔诺举行的第九届并发表达能力国际研讨会上发表的论文。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第2期，33-50（2002）。
MSC公司：68问题85 03B44号 68问题55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{R.Cleaveland}和\textit{G.Lüttgen}，电子。注释Theor。计算。科学。68，第2号，33--50（2002；Zbl 1270.68210）
全文： 内政部
菲克斯，利莫；弗雷德·施耐德。

通过开发环境来推理程序。 （英语） 兹伯利1418.68054

Abiteboul，Serge（编辑）等人，《自动化，语言和编程》。1994年7月11日至14日，以色列耶路撒冷，第21届国际学术讨论会，ICALP’94。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。820, 328-339 (1994).
MSC公司：68号30 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Fix}和\textit{F.B.Schneider}，莱克特。注释计算。科学。820328-339（1994年；兹bl 1418.68054）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件