The Community for Technology Leaders
Formal Engineering Methods, International Conference on (2000)
York, England
Sept. 4, 2000 to Sept. 7, 2000
ISBN: 0-7695-0822-7
pp: 25
K. Lano , King's College London
K. Androutsopoulos , King's College London
P. Kan , King's College London
ABSTRACT
B has been widely used for high-integrity system development, for example in the railway industry. However there are few published guidelines on how to structure B specifications for particular types of system, such as reactive control systems. In this paper, we describe a method to support graphical design of systems using B AMN, and develop guidelines for expressing the structuring requirements of reactive systems in B.
INDEX TERMS
CITATION

K. Lano, K. Androutsopoulos and P. Kan, "Structuring Reactive Systems in B AMN," Formal Engineering Methods, International Conference on(ICFEM), York, England, 2000, pp. 25.
doi:10.1109/ICFEM.2000.873802
89 ms
(Ver 3.3 (11022016))