• 邓刘梦:基于NuSMV的SysML模型形式化验证论文

    邓刘梦:基于NuSMV的SysML模型形式化验证论文

    本文主要研究内容作者邓刘梦,葛晓瑜,宛伟健(2019)在《基于NuSMV的SysML模型形式化验证》一文中研究指出:航空航天道路交通等高安全领域的系统开发需要保证高安全、高可靠...