×

找到133个文档（结果1-100）

最新的 引文 关联
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）
全文： 内政部
阿尔伯特·本文尼斯特;贝诺·凯劳德;马蒂亚斯·马兰丹

从混合自动机到基于DAE的建模。 （英文） Zbl 1528.68174号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：施普林格。莱克特。注释计算。科学。13660, 3-20 (2022).
MSC公司：65年第68季度 03H10年上半年 2009年4月34日 93-10 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Benveniste}等人，Lect。注释计算。科学。13660，3--20（2022；Zbl 1528.68174）
全文： 内政部 哈尔
理查德·休·莫尔顿;哈基尼、贝纳姆·贝希纳因;库扎尼、扎赫拉·阿贝迪;穆洛省梅拉戈雷斯;王菲;鲁迪、凯伦

使用子观察家来合成劝导不透明的监督员。 （英文） Zbl 1505.93078号

离散事件动态。系统。 32，编号4，611-640（2022）.
MSC公司：93B53号 93元65角 93甲13
PDF格式BibTeX公司 XML格式引用
\textit{R.H.Moulton}等人，《离散事件动力学》。系统。32，第4号，611--640（2022；Zbl 1505.93078）
全文： 内政部 arXiv公司
雷蒙德·魔鬼队;特雷杜普，罗尼

抑制剂重置Petri网的合成：算法和复杂性问题。 （英文） Zbl 1499.68223号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。13288, 213-235 (2022).
MSC公司：第68季度85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Devillers}和\textit{R.Tredup}，莱克特。注释计算。科学。13288、213--235（2022年；Zbl 1499.68223）
全文： 内政部 链接
努尔·埃胡达·苏伊德;凯斯·克莱伊

一种新的监督合成方法，用于增强离散事件系统的不透明度。 （英文） Zbl 1496.68195号

Gao，Debin（编辑）等人，《信息和通信安全》。第23届国际会议，ICICS 2021，中国重庆，2021年11月19-21日。诉讼程序。第二部分。查姆：施普林格。莱克特。注释计算。科学。12919, 210-227 (2021).
MSC公司：60年第68季度 68平方米25 第68季度85 93元65角
PDF格式BibTeX公司 XML格式引用
\textit{N.E.Souid}和\textit{K.Klai}，莱克特。注释计算。科学。12919，210-227（2021；Zbl 1496.68195）
全文： 内政部
圣菲省卡斯滕鲍姆;贝诺·博伊尔;Jean-Pierre塔宾

一种经过机械验证的合同理论。 （英文） 兹标07500642

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。2021年9月8日至10日，哈萨克斯坦努尔苏尔坦，第18届国际学术讨论会，虚拟活动。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。12819, 134-151 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Kastenbaum}等人，Lect。注释计算。科学。12819、134--151（2021；Zbl 07500642）
全文： 内政部 arXiv公司
卢卡·卡德利;拉杜·格罗苏;Larsen，Kim G。;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁

不确定连续时间马尔可夫链的集总性。 （英文） Zbl 1492.60219号

Abate，Alessandro（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。12846, 391-409 (2021).
MSC公司：60J25型
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，Lect。注释计算。科学。12846、391--409（2021；Zbl 1492.60219）
全文： 内政部 链接
特雷杜普，罗尼

具有受限位置环境的Petri网合成：经典和参数化。 （英文） Zbl 1489.68169号

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。12734, 292-311 (2021).
MSC公司：第68季度85 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.特雷杜普}，莱克特。注释计算。科学。12734、292--311（2021；Zbl 1489.68169）
全文： 内政部
特雷杜普，罗尼

边缘、事件和状态删除：使转换系统Petri网可实现的一些基本技术的复杂性。 （英文） Zbl 1489.68168号

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。12734, 253-273 (2021).
MSC公司：第68季度85 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.特雷杜普}，莱克特。注释计算。科学。12734、253--273（2021年；Zbl 1489.68168）
全文： 内政部
van Putten，Berend Jan Christiaan;范德桑登，布拉姆;米歇尔·雷尼尔斯;杰罗·沃顿;拉蒙·希夫勒

部分可控制制造系统的监督合成和吞吐量优化。 （英文） Zbl 1478.93190号

离散事件动态。系统。 31，编号1，103-135（2021）.
MSC公司：93亿B50 93个B05 49N90型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{B.J.C.van Putten}等人，离散事件动力学。系统。31，编号1，103--135（2021；Zbl 1478.93190）
全文： 内政部
OA许可证
克里斯蒂安·利德斯特伦;古罗夫，帝力

程序与过程的抽象契约理论。 （英文） Zbl 1467.68039号

Guerra，Esther（ed.）等人，软件工程的基本方法。第24届国际会议，FASE 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。12649, 152-171 (2021).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.Lidström}和\textit{D.Gurov}，莱克特。注释计算。科学。12649、152--171（2021；Zbl 1467.68039）
全文： 内政部 arXiv公司
OA许可证
皮埃尔·布维尔;休伯特·加拉维;埃尔南庞塞·德·莱昂

将Petri网自动分解为自动机网络–一个综合账户。 （英文） Zbl 1503.68190号

Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。12152, 3-23 (2020).
MSC公司：第68季度85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouvier}等人，Lect。注释计算。科学。12152，3--23（2020；Zbl 1503.68190）
全文： 内政部
尼格尼戈X·尼塞尔·罗密欧。;莱昂纳多·曼格鲁卡;别墅，蒂齐亚诺;阿尔贝托Sangiovanni-Vincentelli

前序理论中的商。 （英文） Zbl 07455750号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）326216-233（2020年）。
MSC公司：70年第68季度 03B70号 99年6月 08A70号
PDF格式BibTeX公司 XML格式引用
\textit{í.X.íncer Romeo}等人，《电子》。程序。理论。计算。科学。（EPTCS）326216--233（2020；Zbl 07455750）
全文： arXiv公司 链接
特雷杜普，罗尼;埃罗菲耶夫·叶夫根尼

关于合成受限依赖布尔Petri网的参数化复杂性。 （英文） Zbl 1477.68185号

Lange，Julien（编辑）等人，《第13届交互和并发体验研讨会论文集》，ICE’20，在线，2020年6月19日。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）32478-95（2020年）。
MSC公司：第68季度85 2017年第68季度 68年第27季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Tredup}和\textit{E.Erofeev}，电子。程序。理论。计算。科学。（EPTCS）324，78--95（2020；Zbl 1477.68185）
全文： arXiv公司 链接
伯纳德·布罗格里亚托;阿内尔·坦瓦尼

与单调集值算子耦合的动力系统：形式、应用、适定性和稳定性。 （英文） Zbl 1450.34002号

SIAM版本。 62，第1期，3-129页（2020年）.
审核人：Ba Khiet Le（兰卡瓜）
MSC公司：34-02 34A36飞机 34A60型 34天20分 49J52型 49J53型 93D15号 93D20型
PDF格式BibTeX公司 XML格式引用
\textit{B.Brogliato}和\textit{A.Tanwani}，SIAM Rev.62，No.1，3--129（2020；Zbl 1450.34002）
全文： 内政部
特雷杜普，罗尼

有界Petri网综合的固定参数可处理性和多项式时间结果。 （英文） Zbl 1532.68059号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：施普林格。莱克特。注释计算。科学。11522, 148-168 (2019).
MSC公司：第68季度85 68年第27季度
PDF格式BibTeX公司 XML格式引用
\textit{R.特雷杜普}，莱克特。注释计算。科学。11522148-168（2019年；Zbl 1532.68059）
全文： 内政部
特雷杜普，罗尼

有界Petri网综合的硬度结果。 （英文） Zbl 1532.68058号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：施普林格。莱克特。注释计算。科学。11522, 127-147 (2019).
MSC公司：第68季度85 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.特雷杜普}，莱克特。注释计算。科学。11522127-147（2019年；Zbl 1532.68058）
全文： 内政部 arXiv公司
保罗·皮荷;简·希尔斯顿

集体动力的政策综合。 （英文） 兹比尔1514.68179

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。11024, 356-372 (2018).
MSC公司：第68季度85 60J28型 87年第68季度 90立方厘米 93甲16
PDF格式BibTeX公司 XML格式引用
\textit｛P.Piho｝和\textit｛J.Hillston｝，Lect。注释计算。科学。11024、356--372（2018；Zbl 1514.68179）
全文： 内政部 链接
乔纳斯·韦斯特曼;马蒂亚斯·尼贝格

在非单调组合下保持合同的可满足性。 （英文） Zbl 1508.68227号

Baier，Christel（编辑）等人，分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。10854, 181-195 (2018).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Westman}和\textit{M.Nyberg}，莱克特。注释计算。科学。10854、181--195（2018年；Zbl 1508.68227）
全文： 内政部 哈尔
Bérard，Béatrice公司;斯特凡·哈尔;洛伊克·赫卢埃特

超偏序逻辑。 （英文） Zbl 1528.68209号

Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122，第20条，第21页（2018年）。
MSC公司：60年第68季度 03B70号 06年06月06日 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{B.Bérard}等人，LIPIcs--Leibniz Int.Proc。通知。122，第20条，第21页（2018；Zbl 1528.68209）
全文： 内政部
克里斯特尔·拜尔;卢卡·德·阿尔法罗;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡

模型检查概率系统。 （英文） Zbl 1392.68227号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。963-999 (2018).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，in：模型检查手册。查姆：施普林格。963--999（2018；Zbl 1392.68227）
全文： 内政部
中村弘文;小岛，Kensuke;Kohei Suenaga公司;Atsushi Igarashi

一种非标准函数式编程语言。 （英文） Zbl 1503.68031号

Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。10695, 514-533 (2017).
MSC公司：68甲15 03H10年上半年 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Nakamura}等人，Lect。注释计算。科学。10695、514--533（2017；Zbl 1503.68031）
全文： 内政部
乌里·施拉赫特;威梅尔，哈罗

\基于模态转换系统的（k）-有界Petri网综合。 （英文） Zbl 1442.68151号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第6条，第15页（2017年）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{U.Schlachter}和\textit{H.Wimmel}，LIPIcs——莱布尼茨国际程序。通知。85，第6条，第15页（2017年；Zbl 1442.68151）
全文： 内政部
乌里·法伦贝格;Legay、Axel

行为规范理论的线性时间分支时间谱。 （英文） Zbl 1433.68213号

Steffen，Bernhard（编辑）等人，SOFSEM 2017：计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议，爱尔兰利默里克，2017年1月16日至20日，会议记录。查姆：施普林格。莱克特。注释计算。科学。10139, 49-61 (2017).
MSC公司：60年第68季度 03B44号 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}和\textit{A.Legay}，莱克特。注释计算。科学。10139，49-61（2017年；兹比尔1433.68213）
全文： 内政部
乌里·施拉赫特

限制类网的Petri网综合。 （英文） Zbl 1346.68140号

Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。《计算机科学讲义》9698、79-97（2016）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{U.Schlachter}，莱克特。注释计算。科学。9698，79-97（2016；Zbl 1346.68140）
全文： 内政部
OA许可证
最好的，艾克;雷蒙德·魔鬼队

素数周期的幂。 （英文） Zbl 1346.68126号

Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，59-78（2016）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{E.Best}和\textit{R.Devillers}，莱克特。注释计算。科学。9698，59-78（2016；Zbl 1346.68126）
全文： 内政部
OA许可证
芬德里奇、萨沙;杰拉尔德·吕特根

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

布拉哈姆，埃里卡（编辑）等，《综合形式方法》。第12届国际会议，IFM 2016，冰岛雷克雅未克，2016年6月1日至5日。诉讼程序。查姆：施普林格（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。注释计算。科学。9681160-175（2016年；兹比尔1354.68173）
全文： 内政部 链接
贝诺·德拉哈耶

参数区间马尔可夫链的一致性。 （英文） Zbl 1429.68141号

André，Etienne（编辑）等人，第二届复杂参数合成国际研讨会，SynCoP’15，2015年4月11日，英国伦敦。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 17-32 (2015).
MSC公司：60年第68季度 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Delahaye}，OASIcs--开放存取服务。通知。44、17-32（2015年；Zbl 1429.68141）
全文： 内政部
卢卡什·霍利克;马尔特·伊斯伯纳;本特·琼森

具有数据的组件代数中的中介合成。 （英文） 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。注释计算。科学。9360、238--259（2015；Zbl 1444.68103）
全文： 内政部
菲利普·莱因克迈尔;阿尔伯特·本文尼斯特;达姆，沃纳;英戈·斯蒂兰德

可调度性分析合同。 （英文） 兹比尔1465.90032

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。9268, 270-287 (2015).
MSC公司：90B35型
PDF格式BibTeX公司 XML格式引用
\textit{P.Reinkemeier}等人，Lect。注释计算。科学。9268、270--287（2015；Zbl 1465.90032）
全文： 内政部 哈尔
克莱门斯·杜伯斯拉夫;克里斯特尔·拜尔

通信场景的定量分析。 （英文） Zbl 1465.68194号

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。9268, 76-92 (2015).
MSC公司：第68季度85 60J28型 64岁以下 68平方米 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Dubslaff}和\textit{C.Baier}，莱克特。注释计算。科学。9268、76-92（2015年；Zbl 1465.68194）
全文： 内政部
马耳他州洛豪;斯文·佩尔德苏斯;马蒂亚斯·科瓦尔;伊娜·谢弗

基于模型的测试。 （英文） Zbl 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。注释计算。科学。8483、310——342（2014年；Zbl 1445.68056）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件