B METHOD

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.

About the author

Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on safety.

Product details

• Authors: Jean-Louis Boulanger
• Publisher: Elsevier
• Languages: English
• Product format: Hardback
• Released: 15.12.2020
• EAN: 9781785481567
• ISBN: 978-1-78548-156-7
• No. of pages: 300
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > Data communication, networks