马尔塞洛·贝尔萨尼。;马蒂奥·索尔多;克劳迪奥·蒙吉;帕特里齐奥·佩利奇奥内;罗西,马蒂奥 PuRSUE–从机器人环境规范到控制器合成。 (英语) Zbl 1458.68218号 正式Asp。计算。 32,编号2-3,187-227(2020).MSC公司:68T40型 93亿B50 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,正式Asp。计算。32,编号2--3,187-227(2020;Zbl 1458.68218) 全文: 内政部
巴雷西,L。;M.M.贝尔萨尼。;F.马可尼。;Quattrocchi,G。;罗西,M。 使用形式验证评估Spark应用程序的执行时间。 (英语) Zbl 1451.68166号 正式Asp。计算。 32,第1号,33-70(2020年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Baresi}等人,《正式Asp》。计算。32,第1号,33-70(2020;Zbl 1451.68166) 全文: 内政部 链接