基于B方法的电梯控制系统形式化研究
기우B방법적전제공제계통형식화연구
Formalized study of elevator control system based on B method