引用人
德尼古拉·R 迪·斯特凡诺(Di Stefano L) 反转O 瓦利亚尼S (2023) 自下而上模拟鸟群和蚁群 国际技术转让软件工具杂志 2007年10月7日/10009-023-00731-0 25 :5-6 (675-691) 在线发布日期:2023年12月1日 迪·斯特凡诺(Di Stefano L) 郎朗F (2023) 刺激集体系统的组成验证 验证、模型检查和抽象解释 10.1007/978-3-031-24950-1_8 (155-176) 在线发布日期:2023年1月16日 德尼古拉·R 迪·斯特凡诺(Di Stefano L) 反转O 瓦利亚尼S (2022) 自下而上的鸟群建模 利用形式方法、验证和确认的应用。 适应和学习 10.1007/978-3-031-19759-8_6 (82-96) 在线发布日期:2022年10月22日 显示更多引用者