阿明·法朱迪安;尤金尼奥·莫吉 健壮性、Scott连续性和可计算性。 (英文) Zbl 07813359号 数学。结构。计算。科学。 33,第6号,536-572(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Farjudian}和\textit{E.Moggi},数学。结构。计算。科学。33,编号6,536--572(2023;Zbl 07813359) 全文: 内政部 arXiv公司 OA许可证
尤金尼奥·莫吉;阿明·法朱迪安;亚当·杜拉茨;瓦利德·塔哈 混合系统的安全和鲁棒可达性分析。 (英文) 兹比尔1400.68140 理论。计算。科学。 747, 75-99 (2018).MSC公司:68问题85 06B35号 18B20型 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Moggi}等人,Theor。计算。科学。747,75-99(2018;Zbl 1400.68140) 全文: 内政部 arXiv公司 OA许可证