形式化工程方法，是以软件形式化方法理论为基础，以系统化的工程方法引导工业
2023-03-24 11:01
系列简介：形式化方法在计算机和软件工程学科中作为一个学科分支，正在越来越多地进入工业界诸多实践领域。以DO-333适航标准为代表的工业标准，亦对软件开发过程明确提出了采用形式化
2022-06-10 10:49
本文回顾和讨论了形式化方法和测试技术，以及形式规格说明可以用于测试用例生成、测试顺序确定的途径；并提出了将形式化方法和测
2009-06-11 10:49
Stateflow應用基礎 3446.6.3 Stateflow常用命令 3496.6.4 Stateflow建模方法及實例 3496.7 Simulink模型的實時代碼生成技
2008-07-04 16:50
形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。
2023-01-30 16:42
文将聚焦于轨交领域，从领域专用的需求撰写与分析工具Prema入手，介绍形式化方法在工业中的实际应用。
2023-08-08 15:20
一种服务网络拓扑结构的形式化描述方法_陈鹏
2017-03-14 17:10
本文主要探讨了形式化方法在航空领域中的工业应用。航空领域作为安全攸关领域，其机载系统软件的开发有着高度复杂和严格的安全标准要求，以确保其安全可靠性。
2023-08-21 15:45
Live mos 技術分享!
2015-06-17 18:36
航天嵌入式软件是航天型号任务成败的关键之一．航天嵌入式软件是一种周期性、多模式的软件．软件的每个模式表示系统处于一定的状态，并进行相应的复杂计算．因此，提出了一种名为S
2018-02-06 16:25
