... 0-7695-1887-7 Barros, J. P., & Gomes, L. (2004). Net model composi- tion and modification by net operations: a Pragmatic approach. In Proceedings of INDIN'2004– 2nd IEEE International Conference on Industrial Informatics. Berlin ...

... ( 0-7695-1887-7 , PR1887 ) IEEE Computer Society Pr . -1998 International Conference of Application of Concur- rency to System Design : March 23-26 , 1998 , Fukushima , Japan / 1998. xii , 295 IEEE Computer Society Pr . p . ( 0-8186-8350 ...

... 0-7695-1887-7 [ 5 ] Luís Gomes , Anikó Costa ; " From Use Cases to System Implementa- tion : Statcchart Based Co - design " ; MEMOCODE'2003 - First ACM / IEEE Conference on Formal Methods and Programming Models for Codesign ; 24-26 June ...

The B method is one of the well known formal methods used in railway systems safety going back to 1998 that has been deployed on many projects. Covers the B method language Includes methodologies applied on real projects