Boulanger | B Method | Buch | 978-1-78548-156-7 | www.sack.de

Buch, Englisch, 300 Seiten, Format (B × H): 152 mm x 229 mm

Boulanger

B Method


Erscheinungsjahr 2020
ISBN: 978-1-78548-156-7
Verlag: Elsevier Science

Buch, Englisch, 300 Seiten, Format (B × H): 152 mm x 229 mm

ISBN: 978-1-78548-156-7
Verlag: Elsevier Science

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.

Boulanger B Method jetzt bestellen!

Autoren/Hrsg.

Boulanger, Jean-Louis

Fachgebiete

Weitere Infos & Material

1. Introduction to Formal Method2. Set, Function and Sequence3. Component and Abstract Machine4. Substitution 5. Refinement6. From Abstract to Concrete7. Obligation Proof8. Implementation of Basic Algorithm9. Complex Examples10. Process Based on B-Method11. Tools12. Conclusion

Boulanger, Jean-Louis
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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.