卡洛斯·加林多;塞尔吉奥·佩雷斯;乔塞普·席尔瓦 异常敏感的程序切片。 (英语) Zbl 07618130号 J.日志。代数。方法计划。 130,文章ID 100832,28 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Galindo}等人,J.Log。代数。方法计划。130,文章ID 100832,28 p.(2023;Zbl 07618130) 全文: 内政部 OA许可证
亚历杭德罗·罗德里格斯;费尔南多·马西亚斯;弗朗西斯科·杜兰;阿德里安·拉特尔;乌韦·沃尔特 多级领域特定建模语言的组合。 (英语) Zbl 07618129号 J.日志。代数。方法计划。 130,文章ID 100831,37 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Rodríguez}等人,J.Log。代数。方法计划。130,文章ID 100831,37 p.(2023;Zbl 07618129) 全文: 内政部 OA许可证
拉尔斯·奥克·弗雷德伦德;克拉拉·贝纳克·厄尔;艺术,托马斯;汉斯·斯文森 通过跟踪安全协议获得信任。 (英语) Zbl 07618128号 J.日志。代数。方法计划。 130,文章ID 100829,25 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.-奥弗雷德隆德}等人,J.Log。代数。方法计划。130,文章ID 100829,25 p.(2023;Zbl 07618128) 全文: 内政部
亚历克斯·阿布因;亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 表aux和后续计算CTL公司和ECTL公司:通过认证证据和模型进行满意度测试。 (英语) Zbl 07618127号 J.日志。代数。方法计划。 130,文章ID 100828,30 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Abuin}等人,J.Log。代数。方法计划。130,文章ID 100828,30 p.(2023;Zbl 07618127) 全文: 内政部
卡洛斯·奥拉特;伊莱恩·皮门特尔;卡米洛,罗查 一种重写逻辑方法,用于在后续系统中进行规范、证明和元证明。 (英语) Zbl 07618126号 J.日志。代数。方法计划。 130,文章ID 100827,37 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人,J.Log。代数。方法计划。130,文章ID 100827,37 p.(2023;Zbl 07618126) 全文: 内政部 arXiv公司 OA许可证
卡洛斯·加林多;塞尔吉奥·佩雷斯;乔塞普·席尔瓦 Java程序的程序切片。 (英语) Zbl 07618125号 J.日志。代数。方法计划。 130,文章ID 100826,18 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Galindo}等人,J.Log。代数。方法计划。130,文章ID 100826,18 p.(2023;Zbl 07618125) 全文: 内政部 OA许可证
克里斯托弗·波斯基特(Christopher M.Poskitt)。;丰满,细节 GP 2的一阶二阶错误逻辑。 (英语) Zbl 1529.68082号 J.日志。代数。方法计划。 130,文章ID 100825,29 p.(2023).MSC公司:68号30 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Poskitt}和\textit{D.Plump},J.Log。代数。方法计划。130,文章ID 100825,29 p.(2023;Zbl 1529.68082) 全文: 内政部 链接
戈梅斯·马丁内斯,埃琳娜;埃丝特·格拉;胡安·德拉拉;安东尼奥·加门迪亚 Petri网产品线的提升结构不变量分析。 (英语) Zbl 07618123号 J.日志。代数。方法计划。 130,文章ID 100824,21 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{E.Gómez-Martínez}等人,J.Log。代数。方法计划。130,文章ID 100824,第21页(2023;Zbl 07618123) 全文: 内政部 OA许可证
伊利亚州卡斯特拉尼(编辑);佩德罗·R·达吉尼奥。(编辑);穆罕默德·雷扎·穆萨维(编辑);安娜·索科洛娃(编辑) 关于并发理论中开放问题的专题前言。 (英语) Zbl 1498.00033号 J.日志。代数。方法计划。 130,文章ID 100823,2 p.(2023).MSC公司:00年1月15日 68-06 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}(编辑)等,J.Log。代数。方法计划。130,文章ID 100823,2 p.(2023;Zbl 1498.00033) 全文: 内政部
延斯·科索尔;加布里埃尔·坦泽尔 用于双推出重写的广义并发规则构造:广义并发定理和语言保护规则应用程序。 (英语) Zbl 1529.68134号 J.日志。代数。方法计划。 130,文章ID 100820,35 p.(2023).MSC公司:2012年第68季度 18B50型 PDF格式BibTeX公司 XML格式引用 \textit{J.Kosiol}和\textit{G.Taentzer},J.Log。代数。方法计划。130,文章ID 100820,35 p.(2023;Zbl 1529.68134) 全文: 内政部
哈菲迪,Y。;德文克,E.P。 使用Petri网对基于组件的系统进行重构建模的概念构建块。 (英语) Zbl 07618120号 J.日志。代数。方法计划。 130,文章ID 100813,16 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hafidi}和\textit{E.P.de Vink},J.Log。代数。方法计划。130,文章ID 100813,16 p.(2023;Zbl 07618120) 全文: 内政部 OA许可证
里斯·柯克;Nguyen、Hoang Nga;杰里米·布莱恩斯;谢赫,西拉杰·艾哈迈德;查尔斯·沃特纳比 汽车空中更新系统安全测试的正式框架。 (英语) Zbl 07618119号 J.日志。代数。方法计划。 130,文章ID 100812,14 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Kirk}等人,J.Log。代数。方法计划。130,文章ID 100812,14 p.(2023;Zbl 07618119) 全文: 内政部 OA许可证
史蒂夫·邓恩;费雷拉,乔昂·F·。;亚历山大·门德斯;坎贝尔·里奇;比尔·斯托达特;泽达,弗兰克 BGSL:回溯程序规范和细化的命令式语言。 (英语) Zbl 07618118号 J.日志。代数。方法计划。 130,文章ID 100811,14 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Dunne}等人,J.Log。代数。方法计划。130,文章ID 100811,第14页(2023;Zbl 07618118) 全文: 内政部
陈晓红;多雷尔·卢卡努;格里高·罗什乌 在匹配逻辑中捕获受约束的构造函数模式。 (英语) Zbl 07618117号 J.日志。代数。方法计划。 130,文章ID 100810,31 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人,J.Log。代数。方法计划。130,文章ID 100810,第31页(2023;Zbl 07618117) 全文: 内政部
徐,熊;詹博华;王淑玲;Jean-Pierre塔宾;詹乃军 具有高阶UTP的simulink的指称语义。 (英语) Zbl 07618116号 J.日志。代数。方法计划。 130,文章ID 100809,24 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{X.Xu}等人,J.Log。代数。方法计划。130,文章ID 100809,24 p.(2023;Zbl 07618116) 全文: 内政部 哈尔