维克利斯、迪米特里斯;弗雷德里克·朗;加泰林·迪马;拉杜·马特埃斯库 使用CADP验证\(\mathrm{EB}^3\)规范。 (英语) Zbl 1335.68150号 正式Asp。计算。 28,第1期,145-178(2016).MSC公司:60年第68季度 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{D.Vekris}等人,《形式语法》。计算。28,第1号,145--178(2016;Zbl 1335.68150) 全文: 内政部
费雷尔·菲奥里蒂,路易斯·玛丽亚;瓦希德·哈希米;霍尔格·赫尔曼斯;安德烈亚·图里尼 判定概率自动机弱互模拟:理论与实践。 (英语) Zbl 1335.68117号 正式Asp。计算。 28,第1号,109-143(2016).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Ferrer Fioriti}等人,《正式评论》。计算。28,第1号,109--143(2016;Zbl 1335.68117) 全文: 内政部
乔纳坦·威克;博斯特罗姆,蓬图斯 MATLAB型矩阵程序的基于合同的验证。 (英语) Zbl 1338.65116号 正式Asp。计算。 28,第1期,79-107(2016).MSC公司:65楼30 65G20个 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Wiik}和\textit{P.Boström},正式Asp。计算。28,第1号,第79-107条(2016;Zbl 1338.65116) 全文: 内政部
索菲亚·科斯塔·佩瓦;阿登尼索·思茅 从Mealy输入/输出转换系统生成完整的测试套件。 (英语) 兹比尔1335.68022 正式Asp。计算。 28,第1期,65-78(2016).MSC公司:68米15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.C.Paiva}和\textit{A.Simao},正式Asp。计算。28,第1号,65--78(2016;Zbl 1335.68022) 全文: 内政部
JiříBarnat;彼得·鲍赫;尼古拉·贝内什;卢博什·布里姆;简·伯兰;托马斯·克拉托奇维拉 分析航空电子系统需求的健全性。 (英语) Zbl 1335.68131号 正式Asp。计算。 28,第1号,45-63(2016).MSC公司:60年第68季度 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Barnat}等人,《形式语法》。计算。28,第1号,45-63(2016;Zbl 1335.68131) 全文: 内政部 arXiv公司
纳尔赫斯·卡普尔;法哈德·阿尔巴;埃里克·鲁滕 为基于组件的系统中的重构综合结构和行为控制。 (英语) Zbl 1338.93189号 正式Asp。计算。 28,第1期,21-43(2016).MSC公司:93C40型 PDF格式BibTeX公司 XML格式引用 \textit{N.Khakpour}等人,正式Asp。计算。28,第1号,第21-43条(2016;Zbl 1338.93189) 全文: 内政部 链接
佛罗伦萨伊帕特;迪米特里斯·德拉尼迪斯 来自确定性流X机规范的统一集成和组件测试方法。 (英语) Zbl 1335.68021号 正式Asp。计算。 28,第1号,1-20(2016).MSC公司:68米15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{D.Dranidis},正式Asp。计算。28,编号1,1--20(2016;Zbl 1335.68021) 全文: 内政部