B Method

By Jean-Louis Boulanger

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.

• Format: Hardcover
• Language: English
• ISBN: 1785481568
• ISBN13: 9781785481567
• Release Date: June 2019
• Publisher: Iste Press - Elsevier
• Length: 300 Pages