Showing 1 - 13 results of 13 for search 'Boulanger, Jean-Louis', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Certifiable software applications, 3, Downward cycle

    Certifiable software applications, 3, Downward cycle by Boulanger, Jean-Louis

    Published 2018
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Certifiable software applications, 2, Support processes

    Certifiable software applications, 2, Support processes by Boulanger, Jean-Louis

    Published 2016
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  3. 3
    CENELEC 50128 and IEC 62279 standards

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

    Published 2015
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    CENELEC 50128 and IEC 62279 standards

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

    Published 2015
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  5. 5
    Safety management for software-based equipment

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

    Published 2013
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  6. 6
    Static Analysis of Software The Abstract Interpretation

    Static Analysis of Software The Abstract Interpretation by Boulanger, Jean-Louis

    Published 2013
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  7. 7
    Safety management for software-based equipment

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

    Published 2013
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  8. 8
    Safety management for software-based equipment

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

    Published 2013
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  9. 9
    Certifiable software applications, 1, Main processes

    Certifiable software applications, 1, Main processes by Boulanger, Jean-Louis

    Published 2016
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  10. 10
    Safety management for software-based equipment

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

    Published 2013
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  11. 11
    Industrial use of formal methods formal verification

    Industrial use of formal methods formal verification by Boulanger, Jean-Louis

    Published 2012
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Formal methods applied to complex systems

    Formal methods applied to complex systems

    Published 2014
    Other Authors: “…Boulanger, Jean-Louis…”
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  13. 13
    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…”
    Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: