1. 1
    Safety management for software-based equipment
    by Boulanger, Jean-Louis
    Published 2013
    Access E-Book
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    CENELEC 50128 and IEC 62279 standards /
    by Boulanger, Jean-Louis
    Published 2015
    Access E-Book
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Safety of computer architectures
    Published 2010
    Other Authors: “…Boulanger, Jean-Louis…”
    Access E-Book
    Electronic eBook
    Save to List
    Saved in:
  4. 4
    Formal method industrial use from model to the code /
    Published 2012
    Other Authors: “…Boulanger, Jean-Louis…”
    Access E-Book
    Electronic eBook
    Save to List
    Saved in:
  5. 5
    Formal methods applied to complex systems : implementation of the B method /
    Published 2014
    Other Authors: “…Boulanger, Jean-Louis…”
    Access E-Book
    Electronic eBook
    Save to List
    Saved in:
  6. 6
    Formal methods applied to complex systems /
    Published 2014
    Other Authors: “…Boulanger, Jean-Louis…”
    Access E-Book
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    Static analysis of software the abstract interpretation /
    Published 2012
    Other Authors: “…Boulanger, Jean-Louis…”
    Access E-Book
    Electronic eBook
    Save to List
    Saved in: