×

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

最新的 引文 相关性
阿克谢·马姆巴卡姆;尤金·亚萨林;尼古拉斯·巴塞特;Thao Dang先生

参数定时正则表达式的模式匹配和参数识别。 （英语） Zbl 07807955号

第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第14号论文，第13页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Mambakam}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第14号文件，第13页（2023；Zbl 07807955）
全文： DOI程序 哈尔
斯文·齐亚德克;乌里·法伦贝格;Schlehuber Caissier，菲利普

能源Büchi问题。 （英语） Zbl 1529.68138号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 222-239 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Dziadek}等人，莱克特。注释计算。科学。14000，222--239（2023；Zbl 1529.68138）
全文： DOI程序 arXiv公司
吉安尼斯·德尔姆帕尔塔基斯;加布里埃尔·德·阿尔伯克基·格莱泽;伊沃·范斯特拉伦;Manuel jun，马祖。

ETMetera：超出事件触发控制。 （英语） 兹伯利07807728

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第20号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.Delimpaltadakis}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第20号论文，第11页（2022；Zbl 07807728）
全文： DOI程序 arXiv公司
拉尔斯·林德曼;阿莱娜·罗迪奥诺娃;乔治·帕帕斯

随机信号的时间鲁棒性。 （英语） Zbl 07807718号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{L.Lindemann}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2022；Zbl 07807718）
全文： DOI程序 arXiv公司
巴西姆·戈尔贝尔;维纳亚克·帕布

单变量TPTL的线性时间监控。 （英语） Zbl 07807713号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第5号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Ghorbel}和\textit{V.Prabhu}，in：第25届ACM混合系统国际会议论文集：计算和控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰和虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第5号论文，第11页（2022；Zbl 07807713）
全文： DOI程序
Larsen，Kim G。;克里斯蒂安·席林;吉·斯尔巴

形式化方法中的模拟关系和应用。 （英语） 兹比尔1528.68188

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 272-291 (2022).
MSC公司：65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}等人，Lect。注释计算。科学。13660272--291（2022年；Zbl 1528.68188）
全文： DOI程序
帕特里克·库索特

混合轨迹语义之间的异步对应。 （英语） Zbl 1528.68180号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 131-159 (2022).
MSC公司：65年第68季度 68问题55 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{P.Cousot}，莱克特。注释计算。科学。13660、131--159（2022年；Zbl 1528.68180）
全文： DOI程序 arXiv公司
马蒂亚斯·福格尔;克里斯托夫·伦岑;乌尔里希·施密德

关于定时电路的规范和证明。 （英语） Zbl 1528.68220号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 107-130 (2022).
MSC公司：60年第68季度 94C11号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Függer}等人，Lect。注释计算。科学。13660、107-130（2022年；Zbl 1528.68220）
全文： DOI程序 arXiv公司
内达·赛德洛伊;费利克斯·克鲁·尼亚克

一类时间自动机的高效定制时钟分配算法。 （英语） Zbl 1528.68200号

利马，卢卡斯（编辑）等人，《形式方法：基础和应用》。第25届巴西研讨会，SBMF 2022，虚拟活动，2022年12月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13768, 3-21 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Saeedloei}和\textit{F.Kluźniak}，Lect。注释计算。科学。13768，3--21（2022；Zbl 1528.68200）
全文： DOI程序
克里斯托弗·比肖宾克;奥尔德罗格（Ernst-Rüdiger Olderog）

公路交通的空间和时间特性。 （英语） Zbl 07719828号

Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13572, 114-131 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Bischopink}和\textit{E.-R.Olderog}，莱克特。注释计算。科学。13572，114--131（2022；Zbl 07719828）
全文： DOI程序
张苗苗;刘婉薇;唐晓晨;杜伯恩;刘志明

人-计算机-物理自动机及其合成。 （英语） Zbl 07719823号

Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13572, 36-41 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Zhang}等人，Lect。注释计算。科学。13572，36-41（2022；Zbl 07719823）
全文： DOI程序
休伯特·加拉维;弗雷德里克·朗

40年后的等效性检查：互模拟工具综述。 （英语） Zbl 1524.68189号

Jansen，Nils（ed.）等人，从过程代数到时间自动机到模型学习的历程。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 213-265 (2022).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Garavel}和\textit{F.Lang}，莱克特。注释计算。科学。13560213--265（2022年；Zbl 1524.68189）
全文： DOI程序 哈尔
Bose，Sougata公司;托马斯·亨辛格（Thomas A.Henzinger）。;卡罗琳娜·莱赫蒂宁;斯文·舍韦;帕特里克·托茨克

历史确定的时间自动机是不可确定的。 （英语） Zbl 07714977号

Lin，Anthony W.（编辑）等人，《可达性问题》。第16届国际会议，RP 2022，德国凯泽斯劳滕，2022年10月17日至21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13608, 67-76 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Bose}等人，Lect。注释计算。科学。13608，67-76（2022；Zbl 07714977）
全文： DOI程序 哈尔
Reiya Noguchi;奥坎·桑库尔;蒂埃里·杰伦;尼古拉斯·马基;戴维·曼特雷

修复实时需求。 （英语） 兹比尔1522.68338

Bouajjani，Ahmed（编辑）等人，用于验证和分析的自动化技术。第20届国际研讨会，2022年亚洲电视协会，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505371-387（2022年）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Noguchi}等人，Lect。注释计算。科学。13505371--387（2022年；Zbl 1522.68338）
全文： DOI程序 哈尔
徐润清;安、杰;詹伯华

基于约束求解的单时钟时间自动机主动学习。 （英语） Zbl 1522.68288号

Bouajjani，Ahmed（编辑）等人，用于验证和分析的自动化技术。第20届国际研讨会，2022年亚洲电视协会，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 249-265 (2022).
MSC公司：65年第68季度 第68季度32
PDF格式BibTeX公司 XML格式引用
\textit{R.Xu}等人，Lect。注释计算。科学。13505249--265（2022；Zbl 1522.68288）
全文： DOI程序 arXiv公司
唐晓晨;沈伟;张苗苗;安、杰;詹伯华;詹乃军

通过变异测试学习确定性单时钟时间自动机。 （英语） Zbl 1522.68286号

Bouajjani，Ahmed（编辑）等人，用于验证和分析的自动化技术。第20届国际研讨会，2022年亚洲电视协会，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 233-248 (2022).
MSC公司：65年第68季度 第68季度32 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Tang}等人，Lect。注释计算。科学。13505233-248（2022年；Zbl 1522.68286）
全文： DOI程序
埃蒂安·安德烈;Marinho，迪伦;劳雷·佩特鲁奇;范德波尔（Jaco van de Pol）

参数时间自动机中的有效凸区域合并。 （英语） Zbl 07643436号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 200-218 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}等人，莱克特。注释计算。科学。13465，200-218（2022；Zbl 07643436）
全文： DOI程序 arXiv公司
詹姆斯·C·A·梅因（James C.A.Main）。;米凯尔·兰多尔;杰里米·斯普洛斯顿

有界窗口奇偶目标的定时游戏。 （英语） Zbl 07643434号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。2022年9月13日至15日，第20届国际会议，FORMATS 2022，波兰华沙。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 165-182 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.C.A.Main}等人，Lect。注释计算。科学。13465，165--182（2022；Zbl 07643434）
全文： DOI程序 arXiv公司
贝尔纳多·雅各博，Inclán;奥尔德里克·德戈尔;尤金·亚萨林

有界延迟定时信道编码。 （英语） Zbl 07643428号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 65-79 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{B.J.Inclán}等人，Lect。注释计算。科学。13465，65-79（2022；Zbl 07643428）
全文： DOI程序
托马斯·莫勒·格罗森;肖恩·考夫曼;金·古德斯特兰·拉森;马丁·齐默尔曼

监视定时属性（已重新访问）。 （英语） Zbl 07643427号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 43-62 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.M.Grosen}等人，Lect。注释计算。科学。13465，43-62（2022；Zbl 07643427）
全文： DOI程序 arXiv公司
帕特里夏·鲍耶;保罗·加斯廷;弗雷德里克·赫布雷托;奥坎·桑库尔;斯里瓦特桑，B。

时间自动机的分区验证：外推、模拟和下一步？ （英语） Zbl 07643426号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 16-42 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。13465，16-42（2022；兹bl 07643426）
全文： DOI程序 arXiv公司
阿齐兹·斯法尔;迪娜·伊罗夫蒂;马达琳娜·克罗伊托鲁

电厂控制器中逻辑功能图的基于图的语义。 （英语） Zbl 07630639号

Varzinczak，Ivan（编辑），《信息和知识系统基础》。2022年6月20日至23日，芬兰赫尔辛基，第12届国际研讨会，FoIKS 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13388, 55-74 (2022).
MSC公司：第68页，共15页 68T27型 68层35 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{A.Sfar}等人，Lect。注释计算。科学。13388，55-74（2022；Zbl 07630639）
全文： DOI程序 链接
马丁·布隆伯格;洛伦茨，Leutgeb;克里斯托夫·韦登巴赫

BS（LRA）条款的有效包容测试管道。 （英语） Zbl 07628186号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 147-168 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Bromberger}等人，Lect。注释计算。科学。13385，147--168（2022；Zbl 07628186）
全文： DOI程序
西拉·阿罗拉;汉森、雷内·里多夫;金·古德斯特兰·拉森;Legay、Axel;丹尼·鲍尔森（Danny Bougsted Poulsen）

实值信号概率超特性的统计模型检验。 （英语） Zbl 1514.68115号

Legunson，Owolabi（编辑）等人，《模型检查软件》。第28届国际研讨会，SPIN 2022，虚拟活动，2022年5月21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13255, 61-78 (2022).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Arora}等人，Lect。注释计算。科学。13255，61-78（2022；Zbl 1514.68115）
全文： DOI程序
小川，水井裕人;亚历山大·奥霍金

事件块输入驱动下推自动机的确定。 （英语） Zbl 07615742号

库利科夫，亚历山大·S（编辑）等人，《计算机科学——理论与应用》。第17届俄罗斯国际计算机科学研讨会，CSR 2022，虚拟活动，2022年6月29日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13296, 256-268 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛M.Ogawa｝和\textit｛A.Okhotin｝，Lect。注释计算。科学。13296256-268（2022；Zbl 07615742）
全文： DOI程序 arXiv公司
内达·赛德洛伊;费利克斯·克鲁·尼亚克

解开时间自动机的图形以减少时钟数量。 （英语） Zbl 1502.68167号

ter Beek，Maurice H.（编辑）等，《综合形式方法》。2022年6月7日至10日，第17届国际会议，IFM 2022，瑞士卢加诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13274, 168-187 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Saeedloei}和\textit{F.Kluźniak}，Lect。注释计算。科学。13274168-187（2022年；Zbl 1502.68167）
全文： DOI程序
洛依茨海露;普拉奈阿格拉瓦尔

等待网。 （英语） Zbl 1499.68226号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 67-89 (2022).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Hélouét}和\textit{P.Agrawal}，莱克托。注释计算。科学。13288，67-89（2022；Zbl 1499.68226）
全文： DOI程序 哈尔
迪米特里·列斐伏尔;卡拉·西特祖;Hadjicostis，Christopros N。;亚历山德罗·朱亚

标记连续时间Markov模型的概率状态估计及其在攻击检测中的应用。 （英语） Zbl 1489.93121号

离散事件动态。系统。 32，编号1，65-88（2022）; 更正同上，32，第3号，539-544（2022）。
MSC公司：93E10型 93B53号 93磅70 93C83号
PDF格式BibTeX公司 XML格式引用
\textit{D.Lefebvre}等人，离散事件动态。系统。32，编号1，65-88（2022；兹bl 1489.93121）
全文： DOI程序 链接
安吉洛·费兰多;拉斐尔·卡多佐（Rafael C.Cardoso）。;玛丽·法雷尔;马特，勒克库克;法比奥·帕帕奇尼;迈克尔·费希尔;维维亚娜·马斯卡迪

弥合单模型和多模型预测运行时验证之间的差距。 （英语） Zbl 1522.68315号

形式方法系统。设计。 59，编号1-3，44-76（2021）.
MSC公司：60年第68季度 第68页第40页
PDF格式BibTeX公司 XML格式引用
\textit{A.Ferrando}等人，《形式方法系统》。设计。59，编号1--3，44-76（2021；Zbl 1522.68315）
全文： DOI程序
弗拉基米尔·阿纳欣

自动机函数的基本理论。 （英语） Zbl 1504.30061号

Zuñiga-Galindo，W.A.（编辑）等人，《非阿基米德分析和应用进展》。STEAM-H中的（p）adic方法论。Cham:S普林格。蒸汽-H，科学。Technol公司。农业工程。数学。健康，9-113（2021）。
MSC公司：2006年8月30日
PDF格式BibTeX公司 XML格式引用
\textit{V.Anashin}，in：非阿基米德分析和应用进展。STEAM-H.Cham:Springer中的基本方法。9--113（2021年；Zbl 1504.30061）
全文： DOI程序
内达·赛德洛伊;费利克斯·克鲁·尼亚克

最小化定时场景的时钟数。 （英语） Zbl 1498.68141号

Campos，Sérgio（编辑）等人，《形式方法：基础和应用》。第24届巴西研讨会，SBMF 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13130122-139（2021年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Saeedloei}和\textit{F.Kluźniak}，Lect。注释计算。科学。13130、122--139（2021年；Zbl 1498.68141）
全文： DOI程序
阿卜杜拉扎克·阿巴;安娜·卡瓦尔坎蒂;杰里米·雅各布

通过将tock-CSP自动转换为时间自动机进行时间推理。 （英语） Zbl 1498.68147号

Campos，Sérgio（编辑）等人，《形式方法：基础和应用》。第24届巴西研讨会，SBMF 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13130, 70-86 (2021).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Abba}等人，Lect。注释计算。科学。13130，70-86（2021年；兹比尔1498.68147）
全文： DOI程序 arXiv公司
赵文奇;李慧;袁玉明

了解算法稳定元的波动性：建模、验证和实证分析。 （英语） Zbl 1492.91463号

Bernhard，Matthew（编辑）等人，《金融加密和数据安全》。FC 2021国际研讨会。Codecfin、DeFi、VOTING和WTSC，虚拟活动，2021年3月5日。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。12676, 97-108 (2021).
MSC公司：91G99型 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{W.Zhao}等人，Lect。注释计算。科学。12676，97-108（2021；Zbl 1492.91463）
全文： DOI程序 arXiv公司
阿克西，S。;保罗·加斯廷;Karthik R.普拉卡什。

下推时间自动机可达性的快速区域算法。 （英语） Zbl 1493.68181号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 619-642 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Akshay}等人，Lect。注释计算。科学。12759619--642（2021年；Zbl 1493.68181）
全文： DOI程序 arXiv公司
埃蒂安·安德烈

模仿者3：超越可判定性的时序参数合成。 （英语） Zbl 1493.68202号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 552-565 (2021).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{埃里·安德烈}，莱克特。注释计算。科学。12759552-565（2021年；兹比尔1493.68202）
全文： DOI程序
阿恩·哈特曼斯;Joost-Pieter卡托恩;科伦，布拉姆;拼写，Jip

在概率时间自动机中调整概率。 （英语） Zbl 1491.68098号

阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12846, 39-58 (2021).
MSC公司：65年第68季度 60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Hartmanns}等人，莱克特。注释计算。科学。12846，39-58（2021；Zbl 1491.68098）
全文： DOI程序 链接
塞巴斯蒂安·隆德;杰斯珀·范迪蓬;Larsen，Kim G。;马尔科·穆尼兹;托拜厄斯·林格霍姆·约根森;托拜厄斯·斯卡鲁普·达安徒生

在Uppaal中进行整数静态分析以更好地进行推断。 （英语） Zbl 07498002号

Dima，Catalin（编辑）等，《定时系统的形式化建模和分析》。第19届国际会议，FORMATS 2021，巴黎，法国，2021年8月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12860, 84-99 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Lund}等人，Lect。注释计算。科学。12860，84-99（2021；Zbl 07498002）
全文： DOI程序
尤金·亚萨林;托马斯·费雷尔;德扬·尼契科维奇;乌鲁斯，多根

关于定时模式匹配的复杂性。 （英语） Zbl 07497998号

Dima，Catalin（编辑）等，《定时系统的形式化建模和分析》。第19届国际会议，FORMATS 2021，巴黎，法国，2021年8月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12860, 15-31 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{E.Asarin}等人，Lect。注释计算。科学。12860，15--31（2021；Zbl 07497998）
全文： DOI程序
马多达Nxumalo;Timm，零;斯特凡·格鲁纳

模型检查实时任务可调度性中的聚光灯抽象。 （英语） Zbl 1490.68135号

Laarman，Alfons（编辑）等人，《模型检查软件》。第27届国际研讨会，SPIN 2021，虚拟活动，2021年7月12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12864, 63-80 (2021).
MSC公司：60年第68季度 68平方米 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Nxumalo}等人，Lect。注释计算。科学。12864，63-80（2021；Zbl 1490.68135）
全文： DOI程序
理查德·巴纳赫;朱慧彪

现代和连续的抽象状态机。 （英语） Zbl 07495052号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 29-62 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{R.Banach}和\textit{H.Zhu}，Lect。注释计算。科学。12750，29-62（2021年；兹bl 07495052）
全文： DOI程序
玛丽亚·马克西莫娃;斯文·施奈德;霍尔格·吉斯

区间概率时间图变换系统。 （英语） 兹比尔1492.68071

Gadducci，Fabio（编辑）等人，《图形变换》。2021年6月24日至25日，第14届国际会议，ICGT 2021，作为STAF 2021虚拟活动的一部分举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12741, 221-239 (2021).
MSC公司：2012年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Maximova}等人，Lect。注释计算。科学。12741、221--239（2021；Zbl 1492.68071）
全文： DOI程序 链接
雷米鹦鹉;米卡·布莱迪;奥利维尔·鲁克斯。

用于流水线同步电路设计的带重置的定时Petri网。 （英语） Zbl 1489.68166号

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12734, 55-75 (2021).
MSC公司：68问题85 2006年第68季度 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛R.Parrot｝等人，Lect。注释计算。科学。12734、55-75（2021年；Zbl 1489.68166）
全文： DOI程序 哈尔
马可·贝尔纳多

走向双相似性和迹语义的一般公理化。 （英语） 兹比尔0745132

Roggenbach，Markus（编辑），代数开发技术的最新趋势。第25届国际研讨会，WADT 2020，虚拟活动，2020年4月29日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12669, 31-53 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}，莱克特。注释计算。科学。12669，31-53（2021；Zbl 07415132）
全文： DOI程序
权永民;金恩赫（Kim，Eunhee）

基于GPU的定量模型检验设计。 （英语） Zbl 1472.68091号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 441-463 (2021).
MSC公司：60年第68季度 03B44号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{Y.Kwon}和\textit{E.Kim}，莱克特。注释计算。科学。12597、441--463（2021；Zbl 1472.68091）
全文： DOI程序
Vaandrager，Frits公司;罗德里克·布洛姆;易卜拉欣·马苏德

用一个计时器学习Mealy机器。 （英语） Zbl 07405985号

Leporati，Alberto（编辑）等人，《语言和自动机理论与应用》。2021年3月1日至5日，第15届国际会议，LATA 2021，意大利米兰。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12638, 157-170 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Vaandrager}等人，Lect。注释计算。科学。12638、157--170（2021；Zbl 07405985）
全文： DOI程序
埃蒂安·安德烈;詹姆·阿里亚斯;劳雷·佩特鲁奇;范德波尔（Jaco van de Pol）

参数时间自动机中有效循环检测的迭代有界综合。 （英语） Zbl 1467.68078号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 311-329 (2021).
MSC公司：65年第68季度 68兰特 68周05
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}等人，莱克特。注释计算。科学。12651、311--329（2021；Zbl 1467.68078）
全文： DOI程序
雅罗斯拉夫·本迪克;艾哈迈特·塞肯;艾布鲁·艾丁（Ebru Aydin Gol）;伊万娜·乔纳

可到达性的时间自动机松弛。 （英语） Zbl 1467.68079号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651291-310（2021年）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Bendík}等人，Lect。注释计算。科学。12651、291--310（2021年；Zbl 1467.68079）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件