Showing 1 - 14 results of 14 for search 'Boulanger, Jean-Louis', query time: 0.02s Refine Results
  1. 1
    Safety management for software-based equipment

    Safety management for software-based equipment by Boulanger, Jean-Louis

    Published 2013
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    CENELEC 50128 and IEC 62279 standards /

    CENELEC 50128 and IEC 62279 standards / by Boulanger, Jean-Louis

    Published 2015
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Safety management for software-based equipment

    Safety management for software-based equipment by Boulanger, Jean-Louis

    Published 2013
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  4. 4
    CENELEC 50128 and IEC 62279 standards /

    CENELEC 50128 and IEC 62279 standards / by Boulanger, Jean-Louis

    Published 2015
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  5. 5
    Safety of computer architectures

    Safety of computer architectures

    Published 2010
    Other Authors: “…Boulanger, Jean-Louis…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  6. 6
    Static analysis of software the abstract interpretation /

    Static analysis of software the abstract interpretation /

    Published 2012
    Other Authors: “…Boulanger, Jean-Louis…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    Formal method industrial use from model to the code /

    Formal method industrial use from model to the code /

    Published 2012
    Other Authors: “…Boulanger, Jean-Louis…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  8. 8
    Formal methods applied to complex systems /

    Formal methods applied to complex systems /

    Published 2014
    Other Authors: “…Boulanger, Jean-Louis…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  9. 9
    Formal methods applied to complex systems : implementation of the B method /

    Formal methods applied to complex systems : implementation of the B method /

    Published 2014
    Other Authors: “…Boulanger, Jean-Louis…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  10. 10
    Safety of computer architectures

    Safety of computer architectures

    Published 2010
    Other Authors: “…Boulanger, Jean-Louis…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  11. 11
    Static analysis of software the abstract interpretation /

    Static analysis of software the abstract interpretation /

    Published 2012
    Other Authors: “…Boulanger, Jean-Louis…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  12. 12
    Formal method industrial use from model to the code /

    Formal method industrial use from model to the code /

    Published 2012
    Other Authors: “…Boulanger, Jean-Louis…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  13. 13
    Formal methods applied to complex systems /

    Formal methods applied to complex systems /

    Published 2014
    Other Authors: “…Boulanger, Jean-Louis…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  14. 14
    Formal methods applied to complex systems : implementation of the B method /

    Formal methods applied to complex systems : implementation of the B method /

    Published 2014
    Other Authors: “…Boulanger, Jean-Louis…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:

Search Tools: