| title | ISBN-13 | year of publication |
|---|---|---|
| B Method | 978-1-78548-156-7 | 2019 |
| Cenelec 50128 and Iec 62279 Standards | 978-1-84821-634-1 | 2015 |
| Certifiable Software Applications 3: Downward Cycle | 978-1-78548-119-2 | 2018 |
| Safety of Computer Architectures | 978-1-84821-197-1 | 2010 |
| Safety of Software-based Systems | 978-1-84821-414-9 | 2020 |
| Safety of Software-Based Systems | 978-1-118-57735-6 | 2014 |
J.B. · J. L. · J. Louis · Jean-Louis · L B · L. Boulanger · Louis B.
ISTE Ltd. · ISTE Press - Elsevier · Wiley