加尔阿姆拉姆;沙哈尔·茂兹;活塞,或 GR(1)*:通过存在保证扩展的GR(一)规范。 (英语) Zbl 1519.68129号 正式Asp。计算。 33,编号4-5,729-761(2021).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Amram}等人,正式Asp。计算。33,编号4--5,729--761(2021;Zbl 1519.68129) 全文: 内政部
克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 用于控制器迭代设计的验证驱动框架。 (英语) 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) 全文: 内政部
拉米罗·德马西;巴勃罗·卡斯特罗。;托马斯·S·E·迈鲍姆。;纳扎雷诺·阿吉雷 容错仿真关系。 (英语) Zbl 1377.68044号 正式Asp。计算。 第6期第29期,1013-1050页(2017年).MSC公司:68米15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Demasi}等人,《形式Asp》。计算。29,第6号,1013--1050(2017;Zbl 1377.68044) 全文: 内政部
博尔祖·博纳克达尔普尔;桑德普·库尔卡尼 综合有界时间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) 全文: 内政部
克里希南德·查特吉;维什瓦纳斯·拉曼 假设数字合同签订的担保合成。 (英语) Zbl 1342.94068号 正式Asp。计算。 26,第4期,825-859(2014).MSC公司:94A60型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{V.Raman},正式Asp。计算。26,第4号,825--859(2014;Zbl 1342.94068) 全文: 内政部
不,菲利普 基于变换的时间规格综合。 (英语) Zbl 0841.68074号 正式Asp。计算。 7,第6期,587-619(1995).MSC公司:60年第68季度 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{P.Noöl},正式Asp。计算。7,第6号,587--619(1995;Zbl 0841.68074) 全文: 内政部
H.巴林格。;M·费希尔。;D.加巴伊。;高夫,G。;R.欧文斯。 MetateM:引言。 (英语) Zbl 0838.68014号 正式Asp。计算。 第7期,第5期,第533-549页(1995年).MSC公司:68N17号 60年第68季度 03B45 PDF格式BibTeX公司 XML格式引用 \textit{H.Barringer}等人,《正式Asp》。计算。7,第5号,533--549(1995;Zbl 0838.68014) 全文: 内政部