博尔祖·博纳克达尔普尔;桑德普·库尔卡尼 综合有界时间2相故障恢复。 (英语) Zbl 1328.68045号 正式Asp。计算。 27,第1期,1-31页(2015年).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonakdarpour}和\textit{S.Kulkarni},正式Asp。计算。27,第1号,1--31(2015;Zbl 1328.68045) 全文: 内政部
凯文·拉诺;T·克拉克。;科拉杜兹·拉希米,S。 模型转换验证框架。 (英语) Zbl 1328.68128号 正式Asp。计算。 27,第1期,193-235(2015).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lano}等人,《正式Asp》。计算。27,第1号,193--235(2015;Zbl 1328.68128) 全文: 内政部 链接
朱,H。;何继峰;秦胜超;菲利普·布鲁克 事件驱动系统级语言的指称语义及其代数推导。 (英语) Zbl 1347.68039号 正式Asp。计算。 27,第1期,133-166(2015).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}等人,正式Asp。计算。27,第1号,133--166(2015;Zbl 1347.68039) 全文: 内政部 链接
程淑;吉姆·伍德科克;迪帕克·D’Souza 在FreeRTOS的任务模型上使用形式推理。 (英语) Zbl 1328.68044号 正式Asp。计算。 27,第1期,167-192(2015).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cheng}等人,正式Asp。计算。27,第1号,167--192(2015;Zbl 1328.68044) 全文: 内政部
安东·塔拉修克;埃琳娜·特鲁比西纳;莱比尼斯·利纳斯 将随机推理集成到Event-B开发中。 (英语) Zbl 1328.68039号 正式Asp。计算。 27,第1期,53-77(2015).MSC公司:68米99 60年20日 68米15 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Tarasyuk}等人,《正式Asp》。计算。27,No.1,53--77(2015;Zbl 1328.68039) 全文: 内政部
梅萨·埃卢克;奥斯曼·哈桑;塔哈尔,索菲亚;穆罕默德·阿比德 无线传感器网络检测特性的形式化概率分析。 (英语) Zbl 1328.68037号 正式Asp。计算。 第1期第27页,第79-102页(2015年).MSC公司:68平方米 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Elluch}等人,正式Asp。计算。27,No.1,79--102(2015;Zbl 1328.68037) 全文: 内政部
马,钱;段振华;张楠;王小兵 用MSVL公理系统验证分布式系统。 (英语) Zbl 1328.68032号 正式Asp。计算。 27,第1期,103-131(2015).MSC公司:64岁以下 68N17号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Q.Ma}等人,正式Asp。计算。27,第1号,第103--131条(2015;Zbl 1328.68032) 全文: 内政部