The server is under maintenance between 08:00 to 12:00 (GMT+08:00), and please visit
later.
We apologize for any inconvenience caused
Formalized study of elevator control system based on B method
Author(s): Li Qi-nan
Pages: 101-
103,107
Year: 2008
Issue:
1
Journal: INFORMATION TECHNOLOGY
Keyword: 形式化方法; 电梯控制; B方法; 抽象机;
Abstract: B方法是一种新的形式化方法,使用B方法开发软件可有效提高软件的可靠性、可复用性和开发效率.文中使用B方法对电梯控制系统建立了抽象机模型并对其进行活性证明,自动生成相应软件,提高了电梯控制系统的可靠性和稳定性.
Citations
No citation found
