B Method

Jean-Louis Boulanger (Independent Safety Assessor (ISA) in the railway domain focusing on software elements)

B Method
Format
Hardback
Publisher
ISTE Press Ltd - Elsevier Inc
Country
United Kingdom
Published
1 December 2020
Pages
300
ISBN
9781785481567

B Method

Jean-Louis Boulanger (Independent Safety Assessor (ISA) in the railway domain focusing on software elements)

B Method presents the language needed, semantics and methodologies required to use the method on real projects. 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.

This item is not currently in-stock. It can be ordered online and is expected to ship in approx 4 weeks

Our stock data is updated periodically, and availability may change throughout the day for in-demand items. Please call the relevant shop for the most current stock information. Prices are subject to change without notice.

Sign in or become a Readings Member to add this title to a wishlist.