尼古拉·苏沃罗夫(Nikolai M.Suvorov)。;伊琳娜·洛马佐娃(Irina A.Lomazova)。 数据软件过程模型的验证:检查数据Petri网的可靠性。 (英语) Zbl 07820972号 J.日志。阿尔盖布。方法计划。 138,文章ID 100953,28 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.M.Suvorov}和\textit{I.A.Lomazova},J.Log。阿尔盖布。方法计划。138,文章ID 100953,28 p.(2024;Zbl 07820972) 全文: 内政部
尤瓦拉吉·塞尔瓦拉吉;乔纳斯·克鲁克;沃尔夫冈·阿伦特;马丁·费比安 证明不安全的控制器不安全。 (英语) Zbl 07803184号 J.日志。阿尔盖布。方法计划。 137,文章ID 100939,第17页(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Selvaraj}等人,J.Log。阿尔盖布。方法计划。137,文章ID 100939,17 p.(2024;Zbl 07803184) 全文: 内政部
王国辉;陈珊妍;关勇;史志平;李锡盟;张敬之 三指灵巧手逆运动学的形式化。 (英语) Zbl 1520.70003号 J.日志。阿尔盖布。方法计划。 133,文章ID 100861,20 p.(2023). 审核人:马丁·普弗纳(因斯布鲁克) MSC公司:70B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang}等人,J.Log。阿尔盖布。方法计划。133,文章ID 100861,20 p.(2023;Zbl 1520.70003) 全文: 内政部
恩里克·马丁·马汀;黑山,曼努埃尔;阿德里安·里斯科;胡安·罗德里格斯·霍塔拉;鲁宾·鲁比奥 使用可执行规范语言验证ROS NavFn规划器。 (英语) Zbl 07665444号 J.日志。阿尔盖布。方法计划。 132,文章ID 100860,23 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{E.Martin-Martin}等人,J.Log。阿尔盖布。方法计划。132,文章ID 100860,23 p.(2023;Zbl 07665444) 全文: 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;安娜·英格尔夫斯多蒂 公理化无递归的常规监控器。 (英语) Zbl 07531445号 J.日志。阿尔盖布。方法计划。 127,文章ID 100778,32 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。方法计划。127,文章ID 100778,32 p.(2022;Zbl 07531445) 全文: 内政部 arXiv公司
何塞·卡洛斯·巴塞拉·阿尔梅达;曼纽尔·巴博萨;吉尔·巴特;雨果·帕切科;维托·佩雷拉;伯纳多·波特拉 对经过验证的编译器在安全计算中的作用的形式化处理。 (英语) Zbl 07485817号 J.日志。阿尔盖布。方法计划。 125,文章ID 100736,21 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Bacelar Almeida}等人,J.Log。阿尔盖布。方法计划。125,文章ID 100736,21 p.(2022;Zbl 07485817) 全文: 内政部
西蒙福斯特;叶康峰;安娜·卡瓦尔坎蒂;吉姆·伍德科克 通过计算自动验证反应式程序和并发程序。 (英语) Zbl 1518.68206号 J.日志。阿尔盖布。方法计划。 121,文章ID 100681,34 p.(2021).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100681,34 p.(2021;Zbl 1518.68206) 全文: 内政部 arXiv公司
本努尔,伊米德·埃丁 使用Lustre对定时同步数据流图进行形式化验证。 (英语) Zbl 1518.68202号 J.日志。阿尔盖布。方法计划。 121,文章ID 100678,24 p.(2021).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.E.Bennour},J.Log。阿尔盖布。方法计划。121,文章ID 100678,第24页(2021;Zbl 1518.68202) 全文: 内政部
托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 关于检查模拟脚本的等效性。 (英语) Zbl 1518.68212号 J.日志。阿尔盖布。方法计划。 120,文章ID 100640,22 p.(2021).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Mancini}等人,J.Log。阿尔盖布。方法计划。120,文章ID 100640,22 p.(2021;Zbl 1518.68212) 全文: 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Ingólfsdóttir,安娜;克雅坦松,Svarrn 使用递归确定HML的监控器。 (英语) Zbl 1494.68155号 J.日志。阿尔盖布。方法计划。 111,文章ID 100515,38 p.(2020).MSC公司:60年第68季度 03B70号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。方法计划。111,文章ID 100515,38 p.(2020;Zbl 1494.68155) 全文: 内政部 arXiv公司
埃蒂安·安德烈;贝诺·德拉哈耶;波林·福尼尔 参数区间概率时间自动机的一致性。 (英语) Zbl 1494.68157号 J.日志。阿尔盖布。方法计划。 110,文章ID 100459,22 p.(2020).MSC公司:60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,J.Log。阿尔盖布。方法计划。110,文章ID 100459,22 p.(2020;Zbl 1494.68157) 全文: 内政部 arXiv公司
罗伯特·瓜夏莱;埃米利奥·托斯托 彩球的可实现性。 (英语) Zbl 1435.68213号 J.日志。阿尔盖布。方法计划。 108, 69-89 (2019).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Guanciale}和\textit{E.Tuosto},J.Log。阿尔盖布。方法计划。108、69-89(2019年;Zbl 1435.68213) 全文: 内政部 链接
卡洛斯·卡马乔;路易斯·利亚纳;阿尔贝托·努涅斯;马里奥·布雷韦蒂 概率软件产品线。 (英语) Zbl 1431.68017号 J.日志。阿尔盖布。方法计划。 107, 54-78 (2019).MSC公司:68号30 68问题55 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Camacho}等人,J.Log。阿尔盖布。方法计划。107、54-78(2019年;Zbl 1431.68017) 全文: 内政部 哈尔
托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山德拉·席尔瓦;法比奥·扎纳西 关于系列平行的pomset语言:合理性、上下文无关性和自动机。 (英语) Zbl 1417.68134号 J.日志。阿尔盖布。方法计划。 103, 130-153 (2019).MSC公司:68问题85 68号30 2012年第68季度 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kappé}等人,J.Log。阿尔盖布。方法计划。103130-153(2019年;兹bl 1417.68134) 全文: 内政部 arXiv公司
杰里米·斯普洛斯顿 具有有限互模拟的概率混合自动机的验证和控制。 (英语) Zbl 1417.68105号 J.日志。阿尔盖布。方法计划。 103, 46-61 (2019).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},J.Log。阿尔盖布。方法计划。103、46-61(2019年;Zbl 1417.68105) 全文: 内政部 链接
沃尔特·古特曼 用Stone关系代数验证最小生成树算法。 (英语) Zbl 1401.68247号 J.日志。阿尔盖布。方法计划。 101132-150(2018).MSC公司:68兰特 03B35型 03G15年 05C22号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。阿尔盖布。方法计划。101132-150(2018;Zbl 1401.68247) 全文: 内政部
玛丽亚·马克西莫娃;霍尔格·吉斯;克里斯蒂安·克劳斯 概率定时图变换系统。 (英语) Zbl 1400.68058号 J.日志。阿尔盖布。方法计划。 101, 110-131 (2018).MSC公司:68号30 2012年第68季度 65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Maximova}等人,J.Log。阿尔盖布。方法计划。101、110-131(2018;Zbl 1400.68058) 全文: 内政部 链接
彼得·贝兹克;尼古拉·贝内什;伊万娜·乔纳;JiříBarnat 时间自动机的时钟LTL参数综合。 (英语) Zbl 1395.68164号 J.日志。阿尔盖布。方法计划。 99, 114-142 (2018).MSC公司:65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bezděk}等人,J.Log。阿尔盖布。方法计划。99、114——142(2018;Zbl 1395.68164) 全文: 内政部
纳塔莉·伯特兰;帕特里夏·鲍耶;托马斯·布里海耶;皮埃尔·卡利埃 随机转移系统什么时候可以驯服? (英语) Zbl 1394.68243号 J.日志。阿尔盖布。方法计划。 99, 41-96 (2018).MSC公司:68问题85 60J20型 65年第68季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,J.Log。阿尔盖布。方法计划。99、41-96(2018年;Zbl 1394.68243) 全文: 内政部 arXiv公司
阿利亚克巴尔·萨菲连;汤姆·迈鲍姆;奇诺维·迪斯金 基于基数的特征模型的理论框架:语义和计算方面。 (英语) Zbl 1395.68095号 J.日志。阿尔盖布。方法计划。 97, 30-54 (2018).MSC公司:68号30 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Safilian}等人,J.Log。阿尔盖布。方法计划。97、30--54(2018;Zbl 1395.68095) 全文: 内政部
马尔科·帕维奥蒂;杰斯珀·本特森 使用分离逻辑正式验证低级代码的异常。 (英语) 兹比尔1382.68053 J.日志。阿尔盖布。方法计划。 94,1-14(2018).MSC公司:68号30 03B70号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Paviotti}和\textit{J.Bengtson},J.Log。阿尔盖布。方法计划。94、1-14(2018年;Zbl 1382.68053) 全文: 内政部 链接
约翰·卡米莱里。;杰拉尔多·施奈德 规范性文件的建模和分析。 (英语) Zbl 1371.68176号 J.日志。阿尔盖布。方法计划。 91, 33-59 (2017).MSC公司:60年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Camilleri}和\textit{G.Schneider},J.Log。阿尔盖布。方法计划。91、33-59(2017年;Zbl 1371.68176) 全文: 内政部
亚历山德罗·马吉;玛丽内拉·彼得罗奇;安吉洛·斯波格纳迪;弗朗西斯科·蒂齐 一种基于语言的Twitter交互建模和分析方法。 (英语) Zbl 1359.68197号 J.日志。阿尔盖布。方法计划。 87, 67-91 (2017).MSC公司:60年第68季度 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{A.Maggi}等人,J.Log。阿尔盖布。方法计划。87、67-91(2017年;Zbl 1359.68197) 全文: 内政部
Robert M.Hierons。;梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯 被动异步测试的扩展框架。 (英语) Zbl 1353.68052号 J.日志。阿尔盖布。方法计划。 86,第1号,408-424(2017).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Hierons}等人,J.Log。阿尔盖布。方法计划。86,第1号,408--424(2017;Zbl 1353.68052) 全文: 内政部
赫尔穆特·格罗恩;贾尼斯·沃格特兰德 形式化语义双向化和具有依赖类型的扩展。 (英语) Zbl 1353.68042号 J.日志。阿尔盖布。方法计划。 86,第1号,319-348(2017).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.Grohne}和\textit{J.Voigtländer},J.Log。阿尔盖布。方法计划。86,No.1,319--348(2017;Zbl 1353.68042) 全文: 内政部
刘,思;彼得·塞巴·奥维茨基;何塞·梅塞盖尔 在Real-Time Maude中对移动自组网进行建模和分析。 (英语) Zbl 1356.68123号 J.日志。阿尔盖布。方法计划。 85,第1号,第1部分,34-66(2016).MSC公司:2012年第68季度 68米10 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}等人,J.Log。阿尔盖布。方法计划。85,第1号,第1部分,34--66(2016;Zbl 1356.68123) 全文: 内政部
潘,卡一;马丁·斯特芬;沃尔克·斯托尔茨 影响死锁检查的多态行为推断。 (英语) Zbl 1392.68148号 J.日志。阿尔盖布。方法计划。 85,第6期,1234-1267(2016).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.I Pun}等人,J.Log。阿尔盖布。方法计划。85、6号、1234--1267(2016;Zbl 1392.68148) 全文: 内政部
拉马努贾姆,R。;Sheerazuddin,S。 web服务编排的可实现时态逻辑。 (英语) Zbl 1348.68148号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,759-781(2016).MSC公司:60年第68季度 68英里11 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanujam}和\textit{S.Sheerazuddin},J.Log。阿尔盖布。方法计划。85,第5号,第1部分,759--781(2016;Zbl 1348.68148) 全文: 内政部
鲁道夫·伯哈默;彼得·霍夫纳;卡住了,Insa 关系的基数和关系近似算法。 (英语) Zbl 1351.68152号 J.日志。阿尔盖布。方法计划。 85,第2号,269-286(2016).MSC公司:60年第68季度 03G15年 68号30 68周25 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}等人,J.Log。阿尔盖布。方法计划。85,No.2,269--286(2016;Zbl 1351.68152) 全文: 内政部
卡洛斯·卡马乔;路易斯·利亚纳;阿尔贝托·努涅斯 软件产品线的成本相关接口。 (英语) Zbl 1346.68059号 J.日志。阿尔盖布。方法计划。 85,第1号,第2部分,227-244(2016).MSC公司:68号30 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Camacho}等人,J.Log。阿尔盖布。方法计划。85,第1号,第2部分,227--244(2016;Zbl 1346.68059) 全文: 内政部
阿米尔·贾汉加德·拉夫桑贾尼;米利安·霍塞纳巴迪(Mirian-Hosseinabadi)、塞耶德·哈桑(Seyed-Hassan) ORM模型的轻量级形式化和验证。 (英语) Zbl 1329.68170号 J.日志。阿尔盖布。方法计划。 84,第4期,534-549(2015).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jahangard-Rafsanjani}和\textit{S.-H.Mirian-Hosseinabadi},J.Log。阿尔盖布。方法计划。84,第4号,534--549(2015;Zbl 1329.68170) 全文: 内政部
穆萨布·A·阿尔图尔基。;何塞·梅塞盖尔 Orc的可执行重写逻辑语义和Orc程序的形式化分析。 (英语) Zbl 1329.68169号 J.日志。阿尔盖布。方法计划。 84,第4期,505-533(2015).MSC公司:68问题55 03B70号 第68季度10 2012年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.A.AlTurki}和\textit{J.Meseguer},J.Log。阿尔盖布。方法计划。84,第4号,505--533(2015;Zbl 1329.68169) 全文: 内政部
内尔玛·莫雷拉;大卫·佩雷拉;梅洛·德·索萨,西蒙 Coq中Kleene代数项等价性的判定。 (英语) Zbl 1329.68232号 J.日志。阿尔盖布。方法计划。 84,第3期,377-401(2015).MSC公司:68吨15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Moreira}等人,J.Log。阿尔盖布。方法计划。84,第3号,377--401(2015;Zbl 1329.68232) 全文: 内政部
埃纳尔·布罗赫·约翰森;鲁道夫·施拉特;塔皮娅·塔里法(Tapia Tarifa,S.Lizeth) 在定时面向对象模型中集成部署架构和资源消耗。 (英语) Zbl 1304.68029号 J.日志。阿尔盖布。方法计划。 84,第1期,67-91(2015).MSC公司:68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人,J.Log。阿尔盖布。方法计划。84,第1号,67--91(2015;Zbl 1304.68029) 全文: 内政部
Dang,Han-Hing(韩红);罗兰·格里克;伯恩哈德·莫勒;帕特里克·鲁克斯;安德烈亚斯·泽伦德 探索模态世界。 (英语) Zbl 1434.03146号 J.日志。阿尔盖布。方法计划。 83,第2期,135-153(2014).MSC公司:03G25号 68号30 第68页,共15页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{H.-H.Dang}等人,J.Log。阿尔盖布。方法计划。83,第2号,第135--153条(2014;Zbl 1434.03146) 全文: 内政部