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

本发明公开了一种基于定量验证方法的并发实时系统可靠性评估方法，其包括以下步骤：(1)采用带参数的概率时间接口自动机构建并发实时系统模型；(2)对步骤(1)中建立的模型按照接口上的输入/输出动作对进行组合，并使用带参数的前向可达性算法将组合后...
该专利属于吉林大学所有，仅供学习研究参考，未经过吉林大学授权不得商用。

详细技术文档下载地址

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