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

本发明属于软件测试验证技术领域，提供了一种安全关键软件验证方法、装置、设备及介质。其中，方法包括：基于LTL语言扩展FTA模型得到形式化的系统安全性约束条件及对应的软件需求规范；将软件需求规范按照预制定转换规则和MBD的软件规范符号匹配，使...
该专利属于中航机载系统共性技术有限公司所有，仅供学习研究参考，未经过中航机载系统共性技术有限公司授权不得商用。

详细技术文档下载地址

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