×

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

最新的 引文 关联
陈景凯；布莱恩·威廉姆斯。；樊楚楚

线性混杂系统的最优混合离散连续规划。 （英语） 兹伯利07807681

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第8号论文，第12页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{J.Chen}等人，in：《第24届ACM混合系统国际会议论文集：计算与控制》，HSCC 2021，CPS-IoT周，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第8号论文，第12页（2021；Zbl 07807681）
全文： 内政部 arXiv公司
丹尼尔·格纳德；简·艾森胡特；阿尔贝托·卢什·拉富恩特；霍夫曼，约格

模型检查\（\omega\）-具有解耦搜索的正则属性。 （英语） 兹比尔1493.68208

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12760, 411-434 (2021).
MSC公司：60年第68季度 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Gnad}等人，Lect。票据计算。科学。12760，411--434（2021；Zbl 1493.68208）
全文： 内政部
玛丽安·盖奥吉；罗迪卡·塞特基；佛罗伦萨伊帕特；萨瓦斯·科努尔

内核P系统建模、测试和验证——分类案例研究。 （英语） Zbl 1483.68118号

Leporati，Alberto（编辑）等人，《膜计算》。2016年7月25日至29日，第17届国际会议，CMC 2016，意大利米兰。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。10105, 233-250 (2017).
MSC公司：2007年第68季度 68页第10页 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Gheorghe}等人，Lect。票据计算。科学。101052233-250（2017年；兹比尔1483.68118）
全文： 内政部
埃里克·科斯金；杨俊峰

将崩溃可恢复性降低到可访问性。 （英语） Zbl 1347.68229号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。97-108（2016年）。
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Koskinen}和\textit{J.Yang}，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。97-108（2016；Zbl 1347.68229）
全文： 内政部
亚历山德罗·西马蒂；塞尔吉奥·莫弗；马可·罗维里；斯特凡诺·托内塔

从顺序扩展正则表达式到带有符号标签的NFA。 （英语） Zbl 1297.68116号

Domaratzki，Michael（编辑）等人，《自动机的实现和应用》。2010年8月12日至15日，加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18097-2/pbk）。计算机科学课堂讲稿648287-94（2011）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。票据计算。科学。6482，87-94（2011；Zbl 1297.68116）
全文： 内政部
赫里西凯什·卡马尔卡；查克拉波蒂，苏普拉特克

关于Büchi互补的最小奇数排名。 （英语） Zbl 1258.68085号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，228-243（2009）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Karmarkar}和\textit{S.Chakraborty}，莱克特。票据计算。科学。5799、228--243（2009年；Zbl 1258.68085）
全文： 内政部
莫舍·瓦尔迪。

从哲学到工业逻辑。 （英语） Zbl 1209.68325号

Ramanujam，R.（编辑）等人，《逻辑及其应用》。2009年1月7日至11日，第三届印度会议，ICLA 2009，印度钦奈。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92700-6/pbk）。计算机科学讲义5378。《人工智能讲义》，89-115（2009）。
MSC公司：60年第68季度 03B44号 03B70号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。票据计算。科学。5378，89-115（2009年；Zbl 1209.68325）
全文： 内政部
普拉德拉，马泰奥；安杰洛·莫尔岑蒂；圣彼得罗，皮耶路易吉

基准模型和双无限时间的可满足性检查。 （英语） Zbl 1161.68580号

Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160290-304（2008）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Pradella｝等人，Lect。票据计算。科学。5160290-304（2008年；Zbl 1161.68580）
全文： 内政部
穆罕默德·伊扎迪；马塞洛·M·邦桑格。

将约束自动机重铸为Büchi自动机。 （英语） Zbl 1161.68538号

Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160156-170（2008）。
MSC公司：65年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Izadi}和\textit{M.Bonsange}，莱克特。票据计算。科学。5160、156-170（2008年；Zbl 1161.68538）
全文： 内政部
卡洛斯·巴齐利奥；爱德华·赫尔曼·海尔；马库斯·恩德勒

面向语言的形式化分析：协议和分布式系统的案例研究。 （英语） Zbl 1279.68247号

Sampaio，Augusto（编辑），第二届巴西正式方法研讨会论文集（SBMF 2005），Porto Alegre，RS，巴西，2005年11月30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记184189-207（2007）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Bazilio}等人，《电子》。注释Theor。计算。科学。184189-207（2007年；Zbl 1279.68247）
全文： 内政部
南黄弘；拉杰夫·阿鲁尔

基于学习的符号假设保证推理与自动分解。 （英语） 兹比尔1161.68578

Graf，Susanne（编辑）等人，《验证和分析自动化技术》。2006年10月23日至26日，第四届国际研讨会，ATVA 2006，中国北京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-47237-7/pbk）。计算机科学课堂讲稿4218，170-185（2006）。
MSC公司：60年第68季度 68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Nam}和\textit{R.Alur}，莱克特。票据计算。科学。4218、170--185（2006年；Zbl 1161.68578）
全文： 内政部 链接
凯乔·赫尔扬科；汤米·琼蒂拉；米萨Keinänen；马丁·兰格；蒂莫·拉塔瓦拉

弱交替Büchi自动机的有界模型检验。 （英语） Zbl 1188.68189号

Ball，Thomas（编辑）等人，《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37406-X/pbk）。计算机科学讲义414495-108（2006）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Heljanko}等人，Lect。票据计算。科学。4144、95--108（2006年；Zbl 1188.68189）
全文： 内政部
戴安·塔巴科夫；莫舍·瓦尔迪。

经典自动机构造的实验评估。 （英语） Zbl 1143.68443号

Sutcliffe，Geoff（编辑）等人，《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30553-8/pbk）。计算机科学课堂讲稿3835396-411（2005）。
MSC公司：65年第68季度 60年第68季度 68周05
PDF格式BibTeX公司 XML格式引用
\textit{D.Tabakov}和\textit{M.Y.Vardi}，莱克特。票据计算。科学。3835396--411（2005年；Zbl 1143.68443）
全文： 内政部
拉杰夫·阿鲁尔；马杜苏丹，P。；南黄弘

通过学习假设进行符号成分验证。 （英语） Zbl 1081.68601号

Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576548-562（2005）。
MSC公司：60年第68季度 68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}等人，Lect。票据计算。科学。3576548-562（2005年；兹bl 1081.68601）
全文： 内政部
维克多·舒潘；阿明·比尔

LTL与过去的符号模型检查的最简短反例。 （英语） Zbl 1087.68060号

Halbwachs，Nicolas（编辑）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440493-509（2005）。
MSC公司：60年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{V.Schuppan}和\textit{A.Biere}，莱克特。票据计算。科学。3440493--509（2005年；Zbl 1087.68060）
全文： 内政部
迈克尔·休伯；史蒂夫·金

针对铁路信号数据的集成模型检查器。 （英语） Zbl 1064.68592号

Eriksson、Lars-Henrik（编辑）等人，《FME 2002：正式方法——正确使用IT》。欧洲正式方法国际研讨会，丹麦哥本哈根，2002年7月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43928-5）。莱克特。票据计算。科学。2391, 204-223 (2002).
MSC公司：68单位99 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Huber}和\textit{S.King}，莱克特。票据计算。科学。2391204-223（2002年；Zbl 1064.68592）
全文： 链接
亚历山德罗·西马蒂；马可·罗维里；皮耶乔治·贝尔托利

通过结合显式状态和符号模型检查来搜索功率集自动机。 （英语） Zbl 0978.68546号

Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2031, 313-327 (2001).
MSC公司：60年第68季度 65年第68季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。票据计算。科学。2031313--327（2001；Zbl 0978.68546）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件