×

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

最新的 引文 关联
莫里斯·比克。；吉尔勒米纳·克莱杜；罗尔夫·亨尼克；何塞·普伦萨

我们能交流吗？使用动态逻辑验证团队自动机。 （英语） Zbl 1529.68165号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 122-141 (2023).
MSC公司：60年第68季度 03B70号 第68季度10 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.H.ter Beek}等人，Lect。注释计算。科学。14000、122--141（2023年；Zbl 1529.68165）
全文： 内政部
Incer，伊尼戈；阿尔伯特·本文尼斯特；阿尔贝托Sangiovanni-Vincentelli；Sanjit A.Seshia。

从接口自动机到超契约。 （英语） Zbl 1528.68186号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 477-493 (2022).
MSC公司：65年第68季度 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Incer}等人，Lect。注释计算。科学。13660477--493（2022年；Zbl 1528.68186）
全文： 内政部
莫里斯·比克。；吉尔勒米纳·克莱杜；罗尔夫·亨尼克；何塞·普伦萨

特色团队自动机。 （英语） Zbl 1521.68082号

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047483-502（2021）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.H.ter Beek}等人，Lect。注释计算。科学。13047483--502（2021；Zbl 1521.68082）
全文： 内政部 arXiv公司 链接
大卫·巴兹勒；莫里斯·比克。；罗萨里奥·普格利泽

编配和舞蹈的综合：弥合监督控制和服务协调之间的差距。 （英语） Zbl 1528.68173号

日志。方法计算。科学。 16，第2号，第9号论文，29页（2020年）.
MSC公司：65年第68季度 60年第68季度 68问题85 93元65角
PDF格式BibTeX公司 XML格式引用
\textit{D.Basile}等人，Log。方法计算。科学。16，第2号，第9号论文，29页（2020年；Zbl 1528.68173）
全文： arXiv公司 链接
芬德里奇、萨沙；杰拉尔德·吕特根

接口自动机、组件兼容性和错误的一般理论。 （英语） Zbl 1354.68173号

布拉哈姆，埃里卡（编辑）等，《综合形式方法》。2016年6月1日至5日在冰岛雷克雅未克举行的2016年第12届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-33692-3/pbk；978-3-3169-33693-0/电子书）。计算机科学讲座笔记9681160-175（2016）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Fendrich}和\textit{G.Lüttgen}，Lect。注释计算。科学。9681、160-175（2016年；Zbl 1354.68173）
全文： 内政部 链接
莫里斯·比克。；亚历山德罗·范特奇；格内西、斯特凡尼亚；弗朗科·马扎蒂

产品族可变性建模和分析：具有可变性约束的模态转换系统的模型检查。 （英语） Zbl 1351.68170号

J.日志。阿尔盖布。方法计划。 85，第2期，287-315（2016）.
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛M.H.ter Beek｝等人，J.Log。阿尔盖布。方法计划。85，第2号，287--315（2016；Zbl 1351.68170）
全文： 内政部
莫里斯·比克。；格内西、斯特凡尼亚；弗朗科·马扎蒂

模型检查值通过模型规范。 （英语） Zbl 1434.68303号

Voronkov，Andrei（编辑）等人，《系统信息学的观点》。2014年6月24日至27日，俄罗斯圣彼得堡，第九届国际Ershov信息学会议，PSI 2014。修改选定的论文。柏林：斯普林格。莱克特。注释计算。科学。8974, 304-319 (2015).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.H.ter Beek}等人，Lect。注释计算。科学。8974、304--319（2015；Zbl 1434.68303）
全文： 内政部
卢卡什·霍利克；马尔特·伊斯伯纳；本特·琼森

具有数据的组件代数中的中介合成。 （英语） Zbl 1444.68103号

Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，为纪念Ernst-Rüdiger Olderog 60岁生日而举办的研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9360, 238-259 (2015).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Holík}等人，Lect。注释计算。科学。9360238-259（2015年；兹bl 1444.68103）
全文： 内政部
莫里斯·比克。；格内西、斯特凡尼亚；弗朗科·马扎蒂

从欧盟项目到模型检查器家族。从康定斯基到坎迪斯蒂。 （英语） Zbl 1454.68006号

De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·维尔辛（Martin Wirsing）在2015年从编程和软件工程主席退休之际发表的论文，德国慕尼黑。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 312-328 (2015).
MSC公司：2003年8月 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.H.ter Beek}等人，Lect。注释计算。科学。8950，312--328（2015；Zbl 1454.68006）
全文： 内政部
马耳他州洛豪；斯文·佩尔德苏斯；马蒂亚斯·科瓦尔；伊娜·谢弗

基于模型的测试。 （英语） 兹比尔1445.68056

Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，意大利贝蒂诺罗，第14所计算机、通信和软件系统正式设计方法国际学校，SFM 2014。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8483, 310-342 (2014).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Lochau}等人，Lect。注释计算。科学。8483310-342（2014年；兹比尔1445.68056）
全文： 内政部
罗尔夫·亨尼克；亚历山大·纳普；马丁·威尔辛

通信安全组件系统的组装理论。 （英语） Zbl 1310.68057号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54847-5/pbk）。计算机科学课堂讲稿8415，145-160（2014）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Hennicker}等人，Lect。注释计算。科学。8415，145-160（2014；Zbl 1310.68057）
全文： 内政部
塞巴斯蒂安·鲍尔。；罗尔夫·亨尼克；马丁·威尔辛

为并发和数据构建模式接口理论。 （英语） Zbl 1312.68149号

Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学讲义7137，1-12（2012）。
MSC公司：68问题85 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Bauer}等人，Lect。注释计算。科学。7137，1-12（2012；Zbl 1312.68149）
全文： 内政部
罗尔夫·亨尼克；亚历山大·纳普

通信安全组件的模态接口理论。 （英语） Zbl 1350.68182号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会，南非约翰内斯堡，2011年8月31日至9月2日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23282-4/pbk）。计算机科学课堂讲稿6916，135-153（2011）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Hennicker}和\textit{A.Knapp}，莱克特。注释计算。科学。6916、135——153（2011年；Zbl 1350.68182）
全文： 内政部 链接
拉杜，马斯切维奇；何塞·普伦萨；克拉克、戴夫

具有特征网络的软件产品线的模块化建模。 （英语） Zbl 1350.68063号

Barthe，Gilles（编辑）等人，《软件工程和形式化方法》。2011年11月14日至18日，乌拉圭蒙得维的亚，2011年SEFM第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24689-0/pbk）。计算机科学课堂讲稿7041，318-333（2011）。
MSC公司：68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\文本{R.Muschevici}等人，Lect。注释计算。科学。7041318--333（2011年；Zbl 1350.68063）
全文： 内政部 链接
贝诺·凯劳德；贝诺·德拉哈耶；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；安德烈·索夫斯基

约束马尔可夫链。 （英语） Zbl 1223.68070号

西奥。计算。科学。 412，第34号，4373-4404（2011）.
审核人：托马斯·扬森（科克）
MSC公司：60年第68季度 60J10型
PDF格式BibTeX公司 XML格式引用
\textit{B.Caillaud}等人，Theor。计算。科学。412，第34号，4373--4404（2011；Zbl 1223.68070）
全文： 内政部
塞巴斯蒂安·鲍尔。；罗尔夫·亨尼克；米歇尔·比多特

一种具有数据约束的模态界面理论。 （英语） Zbl 1325.68055号

Davies，Jim（编辑）等人，《形式方法：基础和应用》。2010年11月8日至11日，第13届巴西正式方法研讨会，SBMF 2010，巴西纳塔尔。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19828-1/pbk）。计算机科学课堂讲稿6527，80-95（2011）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Bauer}等人，Lect。注释计算。科学。6527，80-95（2011；Zbl 1325.68055）
全文： 内政部
贝诺·德拉哈耶；Joost-Pieter卡托恩；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；福尔克·谢尔；安德烈·索夫斯基

抽象概率自动机。 （英语） Zbl 1317.68095号

Jhala，Ranjit（编辑）等人，《验证、模型检查和抽象解释》。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18274-7/pbk）。计算机科学课堂讲稿6538，324-339（2011）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛B.Delahaye｝等人，Lect。注释计算。科学。6538，324--339（2011；Zbl 1317.68095）
全文： 内政部
亚历山大·戴维；Larsen，Kim G。；Legay、Axel；乌尔里克·尼曼；安德烈·索夫斯基

使用定时I/O自动机的实时系统规范的方法。 （英语） Zbl 1312.68131号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286290-310（2010）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，Lect。注释计算。科学。6286290-310（2010年；Zbl 1312.68131）
全文： 内政部 链接
亚当·安东尼克；哈，迈克尔；Larsen，Kim G。；乌尔里克·尼曼；安德烈·索夫斯基

EXPTIME——模态和混合规范的完整决策问题。 （英语） 兹比尔1291.68172

Hildebrandt，Thomas（编辑）等人，第15届并发表达性国际研讨会论文集（EXPRESS 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第1期，第19-33页（2009年）。
MSC公司：2017年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Antonik}等人，《电子》。注释Theor。计算。科学。242，第1号，19--33（2009；Zbl 1291.68172）
全文： 内政部
Nathalie Bertrand；苏菲·平奇纳特；Jean-Baptiste Raclet女士

定时模式规范的细化和一致性。 （英语） Zbl 1234.68250号

Dediu，Adrian Horia（编辑）等人，《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00981-5/pbk）。计算机科学课堂讲稿5457152-163（2009）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Bertrand}等人，Lect。注释计算。科学。5457，152--163（2009年；Zbl 1234.68250）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件