布莱尔·阿奇博尔德;盖扎·库尔斯阿尔;米歇尔·塞维格纳尼 两个图模型的故事:无线传感器网络的案例研究。 (英语) Zbl 1522.68074号 正式Asp。计算。 33,第6期,1249-1277(2021).MSC公司:68米18 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Archibald}等人,《形式语法》。计算。33,第6号,1249--1277(2021;Zbl 1522.68074) 全文: 内政部 链接
马克西姆·科尔迪;萨米人拉兹雷格;迈克,帕帕达基斯;Legay、Axel 变量密集型系统的统计模型检查:应用于缺陷检测和最小化。 (英语) Zbl 1522.68305号 正式Asp。计算。 33,第6期,1147-1172(2021).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Cordy}等人,正式Asp。计算。33,编号6,1147-1172(2021;兹bl 1522.68305) 全文: 内政部
谢万玲;朱慧彪;徐启文 移动系统的进程演算BigrTiMo及其形式语义。 (英语) Zbl 1511.68189号 正式Asp。计算。 33,第2期,207-249(2021).MSC公司:68问题85 68纳米30 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Xie}等人,正式Asp。计算。33,第2号,207--249(2021;Zbl 1511.68189) 全文: 内政部
托马斯·莱坦;雷吉斯·贾纳斯,亚恩;皮埃尔·奇夫利埃;纪尧姆·希特 使用效果和效果处理程序对程序进行模块化验证。 (英语) Zbl 1458.68119号 正式Asp。计算。 33,第1号,127-150(2021).MSC公司:60年第68季度 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Letan}等人,正式Asp。计算。33,编号1,127--150(2021;Zbl 1458.68119) 全文: 内政部
克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 控制器迭代设计的验证驱动框架。 (英语) Zbl 1425.68262号 正式Asp。计算。 31,5号,459-502(2019).MSC公司:60年第68季度 03B44号 68N99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,正式Asp。计算。31,第5号,459--502(2019;Zbl 1425.68262) 全文: 内政部
克利夫·琼斯。;尼桑萨拉·亚塔帕纳奇 基于并发垃圾收集器示例调查依赖/保证关系的限制。 (英语) 兹比尔1425.68072 正式Asp。计算。 31,第3期,353-374(2019).MSC公司:68纳米30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones和\textit{N.Yatapanage},正式Asp。计算。31,第3号,353--374(2019;Zbl 1425.68072) 全文: 内政部
阿列克桑达尔·迪莫夫斯基。;克劳斯·布拉布兰德;安德烈·索夫斯基 为提升分析寻找合适的变异性抽象。 (英语) Zbl 1425.68067号 正式Asp。计算。 31,2号,231-259(2019).MSC公司:68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Dimovski}等人,《形式Asp》。计算。31,第2号,231--259(2019;Zbl 1425.68067) 全文: 内政部
伊恩·海耶斯。;拉里萨·梅尼基。;克尔斯滕·温特;罗伯特·J·科尔文。 同步程序代数:关于共享内存和基于事件的并发性的推理基础。 (英语) Zbl 1425.68293号 正式Asp。计算。 31,2号,133-163(2019).MSC公司:68问题85 68纳米30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{I.J.Hayes}等人,《形式语法》。计算。31,第2号,133--163(2019;Zbl 1425.68293) 全文: 内政部 arXiv公司
马可·波扎诺;亚历山德罗·西马蒂;克里斯蒂安·马塔雷 冗余架构的正式可靠性分析。 (英语) Zbl 1425.68039号 正式Asp。计算。 31,第1号,59-94(2019).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,正式Asp。计算。31,第1号,59-94(2019;Zbl 1425.68039) 全文: 内政部
谢万玲;香,双清;朱慧彪 rTiMo的UTP方法。 (英语) Zbl 1425.68304号 正式Asp。计算。 30,第6号,713-738(2018).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{W.Xie}等人,《正式Asp》。计算。30,编号6,713--738(2018;Zbl 1425.68304) 全文: 内政部
阿德里安·里斯科;Kazuhiro绪方;高基町五指 CafeOBJ的Maude环境。 (英语) Zbl 1358.68195号 正式Asp。计算。 29,第2期,309-334(2017).MSC公司:60年第68季度 68N20型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}等人,正式Asp。计算。29,第2号,309--334(2017;Zbl 1358.68195) 全文: 内政部
佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini;乌戈·德利古罗 可逆的客户端/服务器交互。 (英语) Zbl 1345.68016号 正式Asp。计算。 28,第4期,697-722(2016).MSC公司:68英里11 68个M12 64岁以下 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,《正式Asp》。计算。28,第4号,697--722(2016;Zbl 1345.68016) 全文: 内政部 链接
伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;佩雷斯,豪尔赫·A。 多方通信中的自适应和安全信息流。 (英语) Zbl 1345.68232号 正式Asp。计算。 28,第4期,669-696(2016).MSC公司:68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}等人,《形式Asp》。计算。28,第4号,669--696(2016;Zbl 1345.68232) 全文: 内政部 arXiv公司 链接
西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;佩雷斯,豪尔赫·A。;Torres Vieira,雨果 多方对话中的动态角色授权。 (英语) Zbl 1345.68235号 正式Asp。计算。 第4期第28期,第643-667页(2016年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人,正式Asp。计算。28,第4号,643--667(2016;Zbl 1345.68235) 全文: 内政部 arXiv公司
Polyvyanyy,阿尔特姆;阿贝尔·阿玛斯·塞万提斯;马龙·杜马;卢西亚诺加西亚·巴努埃洛斯 关于行为简介的表达能力。 (英语) Zbl 1345.68237号 正式Asp。计算。 28,第4号,597-613(2016).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Polyvyany}等人,正式Asp。计算。28,第4号,597--613(2016;Zbl 1345.68237) 全文: 内政部 链接
阿拉斯代尔·阿姆斯特朗;维克多·戈麦斯。;乔治·斯特鲁斯 根据代数原理构建程序构造和验证工具。 (英语) Zbl 1342.68066号 正式Asp。计算。 28,第2期,265-293(2016).MSC公司:68纳米30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Armstrong}等人,正式Asp。计算。28,第2号,265--293(2016;Zbl 1342.68066) 全文: 内政部
马其顿,雨果·丹尼尔;何塞·奥利维拉 OLAP的线性代数方法。 (英语) 兹比尔1331.68055 正式Asp。计算。 27,第2期,283-307(2015).MSC公司:68个P01 PDF格式BibTeX公司 XML格式引用 \textit{H.D.Macedo}和\textit{J.Oliveira},正式Asp。计算。27,No.2,283--307(2015;Zbl 1331.68055) 全文: 内政部 链接
董金松;刘,杨;孙骏;Zhang,西安 用于验证计算编排。 (英语) Zbl 1342.68209号 正式Asp。计算。 26,第4期,729-759(2014).MSC公司:60年第68季度 68英里11 68N17号 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Dong}等人,《正式Asp》。计算。26,第4号,729--759(2014;Zbl 1342.68209) 全文: 内政部 链接