×

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

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

线性混杂系统的最优混合离散连续规划。 （英语） Zbl 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公司
Timm，零；约苏阿·博塔

用于资源分配的多智能体系统的模型检查和策略综合。 （英语） Zbl 1498.68343号

Campos，Sérgio（编辑）等人，《形式方法：基础和应用》。第24届巴西研讨会，SBMF 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13130, 53-69 (2021).
MSC公司：68T42型 03B70号 60年第68季度 91B32型
PDF格式BibTeX公司 XML格式引用
\textit{N.Timm}和\textit{J.Botha}，莱克特。注释计算。科学。13130，53-69（2021；Zbl 1498.68343）
全文： 内政部
米歇尔·阿鲁夫·梅迪纳；科尔滕·蒂尔；阿夫拉罕·拉维夫；Dan V.jun尼古拉。；希勒，库格勒

基于网络的生物计算电路的形式语义和验证。 （英语） Zbl 1472.68057号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597664-485（2021年）。
MSC公司：2007年第68季度 2006年第68季度 第68季度55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Aluf-Medina}等人，Lect。注释计算。科学。12597、464--485（2021；Zbl 1472.68057）
全文： 内政部
蒂埃里·杰伦；尼古拉斯·马基；戴维·曼特雷；Reiya Noguchi；奥坎·桑库尔

用于检查实时一致性的增量方法。 （英语） Zbl 07317101号

Bertrand，Nathalie（编辑）等，时间系统的形式化建模和分析。第18届国际会议，FORMATS 2020，奥地利维也纳，2020年9月1日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12288, 249-264 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.Jéron}等人，Lect。注释计算。科学。12288、249--264（2020；Zbl 07317101）
全文： 内政部 arXiv公司
克里希南德·查特吉；沃尔夫冈·德沃亚克；莫妮卡·亨津格；亚历山大·斯沃齐尔

图和MDP中街道目标的近线性时间算法。 （英语） Zbl 07649915号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第7条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。140，第7条，第16页（2019；Zbl 07649915）
全文： 内政部 arXiv公司
朱雪阳；颜荣杰；顾玉雷；张健；张文辉；张广全

带模型检查的同步数据流图静态优化调度。 （英语） Zbl 1427.68177号

Björner，Nikolaj（编辑）等人，FM 2015：形式方法。第20届国际研讨会，挪威奥斯陆，2015年6月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9109, 551-569 (2015).
MSC公司：60年第68季度 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{X.-Y.Zhu}等人，Lect。注释计算。科学。9109551-569（2015年；兹bl 1427.68177）
全文： 内政部
娜塔莎·亚历奇纳；尼克·巴西利亚德斯；迈赫迪·达斯塔尼；玛丽娜·德沃斯；布赖恩·洛根；塞尔吉奥·梅拉；安德烈亚萨·莫里斯·马汀；费尔南多·沙帕奇尼克

标准多智能体系统的计算模型。 （英语） Zbl 1482.68234号

Andrighetto，Giulia（编辑）等，规范化多智能体系统。第三届研讨会会议记录，德国达格斯图尔，2012年。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 471-92（2013）。
MSC公司：68T42型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{N.Alechina}等人，Dagstuhl Follow-Ups 4，71--92（2013；Zbl 1482.68234）
全文： 内政部
卢博什·布里姆；科什卡，米兰；萨夫拉内克，大卫

生物系统的模型检查。 （英语） Zbl 1380.92024号

Bernardo，Marco（编辑）等人，动力系统的形式化方法。2013年6月17日至22日，意大利贝蒂诺罗，第13所计算机、通信和软件系统正式设计方法国际学校，SFM 2013。高级讲座。柏林：施普林格出版社（ISBN 978-3-642-38873-6/pbk）。计算机科学课堂讲稿7938，63-112（2013）。
MSC公司：92立方厘米 60年第68季度 92-08
PDF格式BibTeX公司 XML格式引用
\textit{L.Brim}等人，Lect。注释计算。科学。7938，63-112（2013年；兹bl 1380.92024）
全文： 内政部
拉杜·马特埃斯库；佩德罗·蒙泰罗。；埃斯特尔·杜马斯；德容、希德

CTRL：CTL的扩展，带有正则表达式和公平操作符，用于验证遗传调控网络。 （英语） Zbl 1231.68163号

西奥。计算。科学。 412，第26号，2854-2883（2011）.
审核人：马丁·兰格（卡塞尔）
MSC公司：60年第68季度 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Mateescu}等人，Theor。计算。科学。412，第26号，2854--2883（2011；Zbl 1231.68163）
全文： 内政部 链接
亚历山德罗·西马蒂；伊曼·纳拉萨姆迪亚；马可·罗维里

通过部分降阶提升SystemC的惰性抽象。 （英语） Zbl 1316.68072号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605341-356（2011）。
MSC公司：60年第68季度 68-04
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。6605341--356（2011；Zbl 1316.68072）
全文： 内政部
亚历山德罗·西马蒂；塞尔吉奥·莫弗；马可·罗维里；斯特凡诺·托内塔

从顺序扩展正则表达式到带有符号标签的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）
全文： 内政部
赵、杨；吉安弗兰科·西亚多

使用约束饱和对异步系统进行符号CTL模型检查。 （英语） Zbl 1262.68132号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799368-381（2009）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Zhao}和\textit{G.Ciardo}，Lect。注释计算。科学。5799、368--381（2009年；Zbl 1262.68132）
全文： 内政部
Bui，Thang H。；阿尔伯特·尼迈耶

基于引导随机游动的形式化验证。 （英语） Zbl 1211.68245号

Leuschel，Michael（编辑）等人，《综合形式方法》。2009年2月16日至19日，德国杜塞尔多夫，第七届国际会议，IFM 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00254-0/pbk）。计算机科学课堂讲稿5423，72-87（2009）。
MSC公司：60年第68季度 60克50 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.H.Bui}和\textit{A.Nymeyer}，莱克特。注释计算。科学。5423、72--87（2009年；Zbl 1211.68245）
全文： 内政部
万，敏；吉安弗兰科·西亚多

使用可扩展决策图生成异步系统的符号状态空间。 （英语） Zbl 1206.68104号

Nielsen，Mogens（编辑）等人，SOFSEM 2009：计算机科学的理论与实践。2009年1月24日至30日，第35届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-95890-1/pbk）。计算机科学课堂讲稿5404，582-594（2009）。
MSC公司：68第05页
PDF格式BibTeX公司 XML格式引用
\textit｛M.Wan｝和\textit｛G.Ciardo｝，Lect。注释计算。科学。5404、582--594（2009年；Zbl 1206.68104）
全文： 内政部
瓦希德·拉夫；阿德尔·拉赫曼尼（Adel T.Rahmani）。

一种基于图转换的工作流形式化建模和验证方法。 （英语） Zbl 1183.68381号

Sarbazi-Azad，Hamid（编辑）等人，《计算机科学与工程进展》，第13届国际CSI计算机会议，CSICC 2008，伊朗基什岛，2008年3月9日至11日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-89984-6/pbk；978-3-440-89985-3/电子书）。计算机和信息科学中的通信6，291-298（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Rafe}和\textit{A.T.Rahmani}，Commun。计算。信息科学。6291-298（2008年；兹bl 1183.68381）
全文： 内政部
瓦希德·拉夫；阿德尔·拉赫曼尼（Adel T.Rahmani）。

使用UML2.0活动和图形转换系统对工作流进行形式化分析。 （英语） 兹比尔1161.68581

Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160305-318（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Rafe}和\textit{A.T.Rahmani}，莱克特。注释计算。科学。5160305-318（2008年；Zbl 1161.68581）
全文： 内政部
马尔科·蒙塔利；保罗·托罗尼；马尔科·阿尔贝蒂；费德里科·切萨尼；马可·加瓦内利；伊芙琳娜·拉姆；梅洛，保拉

使用逻辑编程验证声明性规范。 （英语） Zbl 1185.68419号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，440-454（2008）。
MSC公司：60年第68季度 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{M.Montali}等人，Lect。注释计算。科学。5366440-454（2008年；Zbl 1185.68419）
全文： 内政部
拉杜·马特埃斯库；佩德罗·蒙泰罗。；埃斯特尔·杜马斯；德容、希德

遗传调控网络的计算树规则逻辑。 （英语） Zbl 1183.68380号

Cha，Sungdeok（Steve）（编辑）等人，验证和分析自动化技术。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311，48-63（2008）。
MSC公司：60年第68季度 03B44号 03B45 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Mateescu}等人，Lect。注释计算。科学。5311、48-63（2008年；Zbl 1183.68380）
全文： 内政部 链接
埃德蒙·克拉克（Edmund M.Clarke）。

模型检查的诞生。 （英语） Zbl 1142.68046号

Grumberg，Orna（编辑）等人，25年的模型检查。历史、成就、观点。柏林：施普林格出版社（ISBN 978-3-540-69849-4/pbk）。计算机科学课堂讲稿5000，1-26（2008）。
审核人：Klaus D.Kiermeier（柏林）
MSC公司：60年第68季度 03B44号 03B70号 2003年8月 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Clarke}，莱克特。注释计算。科学。5000，1-26（2008；Zbl 1142.68046）
全文： 内政部
凯斯·克莱；丹尼斯·波特雷诺

MC-SOG：基于符号观测图的LTL模型检查器。 （英语） Zbl 1143.68455号

van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。第29届国际会议，2008年PETRI NETS，2008年6月23日至27日，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。计算机科学课堂讲稿5062288-306（2008）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Klai}和\textit{D.Poitrenaud}，莱克特。注释计算。科学。5062288--306（2008年；Zbl 1143.68455）
全文： 内政部
De Wulf，M。；Doyen，L。；新泽西州梅奎特。；J.-F.拉斯金。

反链：LTL可满足性和模型检查的替代算法。 （英语） Zbl 1134.68404号

Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963，63-77（2008）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.De Wulf}等人，Lect。注释计算。科学。4963、63--77（2008年；Zbl 1134.68404）
全文： 内政部
卡洛斯·巴齐利奥；爱德华·赫尔曼·海尔；马库斯·恩德勒

面向语言的形式化分析：协议和分布式系统的案例研究。 （英语） 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）
全文： 内政部
马可·波扎诺；亚历山德罗·西马蒂；弗朗西斯科·塔帕罗

无功系统的符号故障树分析。 （英语） Zbl 1141.68455号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762162-176（2007）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bozzano}等人，Lect。注释计算。科学。4762、162--176（2007年；Zbl 1141.68455）
全文： 内政部
恩里科Giunchilia；马西莫·纳里扎诺；阿曼多·塔切拉；莫舍·瓦尔迪。

建立一个高效的SAT图书馆：宣言。 （英语） Zbl 0990.90559号

Kautz，Henry（编辑）等，2001年LICS满意度测试理论与应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。阿姆斯特丹：Elsevier，Electron。注意离散数学。9，无页码。，仅电子版（2001）。
MSC公司：90C27型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{E.Giunchiglia}等人，《电子》。注意离散数学。9，无页码。（2001年；Zbl 0990.90559）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件