温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明提供基于UPPAAL的无人机系统安全性形式化建模验证方法，包含两步骤，分别是算法推理验证和仿真建模验证；算法推理验证，通过数学方法对待验证的无人机系统的性质进行逻辑推演，初步判断其是否存在安全性问题，为仿真建模验证提供理论依据；仿真建...
该专利属于北航（四川）西部国际创新港科技有限公司所有，仅供学习研究参考，未经过北航（四川）西部国际创新港科技有限公司授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。