基于状态图转形式化B模型的安全苛求系统开发方法

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

赵大地, 王恪铭

Safety-Critical System Development Method Based on Translating State Chart to B Formal Model

ZHAO Dadi, WANG Keming

计算机工程 . 2024, (11): 173 -186 . DOI: 10.19678/j.issn.1000-3428.0068642