形式化方法与软件的可靠性  

作　　者：柴振荣 

出　　处：《管理观察》1999年第9期47-47,共1页Management Observer

关 键 词：形式化方法 软件的可靠性 形式化说明 形式化系统 程序系统 设计方案 仿真模拟 研究状况 特殊风险 设计开发 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]