形式化验证论文

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