×

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

最新的 引文 关联
奥尔德罗格（Ernst-Rüdiger Olderog）;伯恩哈德·斯特芬;易、王

模型检查、综合和学习。 （英文） Zbl 1522.68339号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。勒克特。注释计算。科学。13030, 1-7 (2022).
MSC公司：60年第68季度 68问题32 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.-R.Olderog}等人，Lect。注释计算。科学。13030，1--7（2022；Zbl 1522.68339）
全文： 内政部
奥尔德罗格（Ernst-Rüdiger Olderog）（编辑）;Steffen，伯恩哈德（编辑）;易、王（编辑）

模型检查、综合和学习。在本特·琼森60岁生日之际为他撰写的论文。 （英文） Zbl 1511.68019号

计算机科学课堂讲稿13030.查姆：施普林格（ISBN 978-3-030-91383-0/pbk；978-3-0030-91384-7/ebook）。viii，第219页。(2022).
MSC公司：68-06 65年第68季度 60年第68季度 00B30型
PDF格式BibTeX公司 XML格式引用
\textit{E.-R.Olderog}（ed.）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：施普林格（2022；Zbl 1511.68019）
全文： 内政部
安、杰;詹乃军;李小山;张苗苗;易、王

模型检查有界连续时间扩展线性持续时间不变量。 （英文） Zbl 1409.68165号

第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。81-90（2018年）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.An}等人，in：《第21届ACM混合系统国际会议论文集：计算与控制》，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。81-90（2018年；Zbl 1409.68165）
全文： 内政部
侯赛因·霍贾特;菲利普·吕默;Subotic，铺面;易、王

用于通信定时系统的喇叭子句。 （英文） Zbl 1464.68207号

Björner，Nikolaj（ed.）等人，《验证和综合Horn条款第一次研讨会会议记录》，HCVS 2014，奥地利维也纳，2014年7月17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）169，39-52（2014）。
MSC公司：60年第68季度 03B70号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Hojjat}等人，《电子》。程序。西奥。计算。科学。（EPTCS）169，39--52（2014；Zbl 1464.68207）
全文： arXiv公司 链接
帕罗什·阿齐兹·阿卜杜拉;帕维尔·科卡尔;易、王

具有值复制的R自动机的普遍性。 （英文） Zbl 1347.68203号

Habermehl，P.（ed.）等人，第八、第九和第十届无限状态系统验证国际研讨会会议记录（INFINITY 2006、2007、2008），德国波恩，2006年8月26日，葡萄牙里斯本，2007年9月8日，加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记239131-141（2009）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，电子。注释Theor。计算。科学。239131--141（2009年；Zbl 1347.68203）
全文： 内政部
帕维尔·科卡尔;易、王

通信时间自动机：越同步，验证越困难。 （英文） Zbl 1188.68192号

Ball，Thomas（编辑）等人，《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37406-X/pbk）。计算机科学课堂讲稿4144249-262（2006）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Krcal}和\textit{W.Yi}，Lect。注释计算。科学。4144249--262（2006年；Zbl 1188.68192）
全文： 内政部
葛光、浦;洪丹凡;何继峰;易、王

同步模型的硬件/软件分区的最佳方法。 （英文） Zbl 1196.68136号

Boiten，Eerke A.（编辑）等，《综合形式方法》。2004年4月4日至7日在英国坎特伯雷举行的第四届国际会议，IFM 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21377-5/pbk）。计算机科学课堂讲稿2999363-381（2004）。
MSC公司：60年第68季度 68平方米 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Geguang}等人，Lect。注释计算。科学。2999363--381（2004年；Zbl 1196.68136）
全文： 内政部
约翰·本特森;易、王

时间自动机：语义、算法和工具。 （英文） Zbl 1088.68119号

Desel，Jörg（编辑）等人，《并发和Petri网讲座》。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-22261-8/pbk）。计算机科学课堂讲稿309887-124（2004）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Bengtsson}和\textit{W.Yi}，Lect。注释计算。科学。3098、87-124（2004年；Zbl 1088.68119）
全文： 内政部
帕维尔·克查尔;列奥尼德·莫克鲁辛;蒂亚加拉扬，P.S。;易、王

定时与定时触发自动机。 （英文） Zbl 1099.68069号

Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。计算机科学讲稿3170340-354（2004）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Král}等人，Lect。注释计算。科学。3170340-354（2004年；Zbl 1099.68069）
全文： 内政部
亚历山大·戴维;格德·贝尔曼;Larsen，Kim G。;易、王

时间自动机验证中的统一与共享。 （英文） Zbl 1023.68525号

Ball，Thomas（编辑）等人，《模型检查软件》。第十届国际SPIN研讨会，美国俄勒冈州波特兰，2003年5月9日至10日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。2648, 225-229 (2003).
MSC公司：68号30 65年第68季度 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，Lect。注释计算。科学。2648225-229（2003年；Zbl 1023.68525）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

传记参考

全部的 前3名

软件