×

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

最新的 引文 关联
张楠;段振华;田聪;杜洪伟

一种验证程序上下文无关属性的新方法。 （英语） Zbl 1522.68353号

唐绍杰（编辑）等，《信息和管理中的算法方面》。2018年12月3日至4日在美国德克萨斯州达拉斯举行的2018年AAIM第12届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11343, 74-87 (2018).
MSC公司：60年第68季度 68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhang}等人，Lect。注释计算。科学。11343、74-87（2018年；Zbl 1522.68353）
全文： 内政部
钱，林;段振华;张楠;田聪

Coq中MSVL程序的证明系统。 （英语） Zbl 1461.68058号

刘少英（主编）等，结构化面向对象形式语言和方法。2016年11月15日，第六届国际研讨会，SOFL+MSVL 2016，日本东京。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10189, 121-143 (2017).
MSC公司：68号30 68甲15 60年第68季度 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{L.Qian}等人，Lect。注释计算。科学。10189、121--143（2017；Zbl 1461.68058）
全文： 内政部
张楠;段振华;田聪;杜洪伟;Yang，Kai（杨凯）

建模和验证多核程序。 （英语） Zbl 1474.68196号

高晓峰（主编）等，组合优化及其应用。第十一届国际会议，2017年COCOA，中国上海，2017年12月16-18日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10628, 492-500 (2017).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhang}等人，Lect。注释计算。科学。10628492-500（2017年；兹比尔1474.68196）
全文： 内政部
张晓明;段振华;田聪

PPTL_SPIN：基于SPIN的命题投影时态逻辑模型检查器。 （英语） Zbl 1461.68124号

Liu，Shaoying（ed.）等人，结构化面向对象的形式语言和方法。2015年11月6日，法国巴黎，第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9559, 195-205 (2016).
MSC公司：60年第68季度 03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Zhang}等人，Lect。注释计算。科学。9559195-205（2016；Zbl 1461.68124）
全文： 内政部
田聪;宋军;段振华;段，赵

LtlNfBa公司：使LTL翻译更实用。 （英语） Zbl 1461.68121号

刘少英（主编）等，结构化面向对象形式语言和方法。2015年11月6日，法国巴黎，第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9559, 179-194 (2016).
MSC公司：60年第68季度 03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Tian}等人，Lect。注释计算。科学。9559179--194（2016；Zbl 1461.68121）
全文： 内政部
卢、徐;段振华;田聪

使用统一模型检查来验证堆。 （英语） Zbl 1483.68199号

Chan，T-H.Hubert（编辑）等人，《组合优化与应用》。第十届国际会议，2016年COCOA，中国香港，2016年12月16-18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10043, 735-743 (2016).
MSC公司：60年第68季度 03B44号 03B70号 68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{X.Lu}等人，Lect。注释计算。科学。10043、735--743（2016；Zbl 1483.68199）
全文： 内政部
王海阳;段振华;田聪

交替投影时序逻辑的符号模型检查。 （英语） Zbl 1473.68108号

Lu，Zaixin（编辑）等，组合优化与应用。第九届国际会议，COCOA 2015，美国德克萨斯州休斯顿，2015年12月18-20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9486, 481-495 (2015).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{H.Wang}等人，Lect。注释计算。科学。9486481——495（2015年；兹bl 1473.68108）
全文： 内政部
段振华;卜康康;田聪;张楠

基于动态符号执行的MSVL程序模型检查。 （英语） Zbl 1465.68176号

徐大川（主编）等，《计算与组合学》。第21届国际会议，COCOON 2015，中国北京，2015年8月4-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9198, 521-533 (2015).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Duan}等人，Lect。注释计算。科学。9198、521--533（2015；Zbl 1465.68176）
全文： 内政部
于斌;段振华;田聪

红绿灯控制系统的有界模型检验。 （英语） 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）
全文： 内政部
段振华;田聪;张楠

命题投影时序逻辑的范式表达。 （英语） Zbl 1423.68278号

蔡志鹏（编辑）等，《计算与组合学》。第20届国际会议，COCOON 2014，亚特兰大，佐治亚州，美国，2014年8月4-6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8591, 84-93 (2014).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Duan}等人，Lect。注释计算。科学。8591，84-93（2014；Zbl 1423.68278）
全文： 内政部
张楠;段振华;田聪

圆柱计算模型的公理化。 （英语） Zbl 1332.68144号

蔡志鹏（编辑）等，《计算与组合学》。第20届国际会议，COCOON 2014，亚特兰大，佐治亚州，美国，2014年8月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08782-5/pbk）。计算机科学课堂讲稿8591，71-83（2014）。
MSC公司：60年第68季度 03B44号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhang}等人，Lect。注释计算。科学。8591，71-83（2014；Zbl 1332.68144）
全文： 内政部
段振华;田聪

模型检查。 （英语） Zbl 1290.68087号

王家村（编辑），基于有限状态的模型和应用手册。佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4398-4618-6/hbk；978-1-439 8-4619-3/电子书）。《离散数学及其应用》，337-369（2013）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Duan}和\textit{C.Tian}，in：基于有限状态的模型和应用手册。佛罗里达州博卡拉顿：CRC出版社。337--369（2013；Zbl 1290.68087）
段振华;田聪;杨梦飞;他，贾

命题投影时间逻辑的有界模型检验。 （英语） Zbl 1382.68141号

杜定珠（编辑）等，《计算与组合学》。2013年6月21日至23日，第19届国际会议，COCOON 2013，中国杭州。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38767-8/pbk）。计算机科学讲义79361591-602（2013）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Duan}等人，Lect。注释计算。科学。7936、591--602（2013；Zbl 1382.68141）
全文： 内政部
田聪;段振华;杨梦飞

将Büchi自动机确定为分区自动机。 （英语） Zbl 1381.68136号

杜定珠（编辑）等，《计算与组合学》。2013年6月21日至23日，第19届国际会议，COCOON 2013，中国杭州。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38767-8/pbk）。计算机科学课堂讲稿7936，158-168（2013）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Tian}等人，Lect。注释计算。科学。7936、158--168（2013年；Zbl 1381.68136）
全文： 内政部
田聪;段振华

在模型检查中使抽象重新定义高效。 （英语） 兹比尔1353.68182

傅斌（编辑）等，《计算与组合学》。2011年8月14日至16日，美国德克萨斯州达拉斯，COCOON 2011，第17届国际年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22684-7/pbk）。计算机科学课堂讲稿6842，402-413（2011）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Tian}和\textit{Z.Duan}，Lect。注释计算。科学。6842、402--413（2011年；Zbl 1353.68182）
全文： 内政部 arXiv公司
田聪;段振华

从PPTL到S1S的转变。 （英语） Zbl 1310.68146号

Wu，Weili（编辑）等，组合优化与应用。2010年12月18日至20日，第四届国际会议，COCOA 2010，美国HI凯鲁亚·科纳。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-17460-5/pbk）。计算机科学课堂讲稿6509374-386（2010）。
MSC公司：60年第68季度 03B25号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{C.Tian}和\textit{Z.Duan}，Lect。注释计算。科学。6509374-386（2010年；Zbl 1310.68146）
全文： 内政部
段振华;田聪

无限模型下命题投影时序逻辑的可判定性。 （英语） Zbl 1198.68167号

蔡金毅（主编）等，计算模型的理论与应用。2007年5月22日至25日，第四届国际会议，TAMC 2007，中国上海。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72503-9/pbk）。计算机科学课堂讲稿4484，521-532（2007）。
MSC公司：60年第68季度 03B25号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Duan}和\textit{C.Tian}，Lect。注释计算。科学。4484、521--532（2007年；Zbl 1198.68167）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件