Jean-Louis Boulanger

Gebundenes Buch

B Method

Beschreibung

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.

Autor

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.

Produktdetails

• Verlag: Elsevier Science
• Seitenzahl: 300
• Erscheinungstermin: 15. Dezember 2020
• Englisch
• ISBN-13: 9781785481567
• ISBN-10: 1785481568
• Artikelnr.: 48062926