Treffer 1 – 13 von 13 für Suche 'Boulanger, Jean-Louis', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Certifiable software applications, 3, Downward cycle

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

    Veröffentlicht 2018
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


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

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

    Veröffentlicht 2016
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


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

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

    Veröffentlicht 2015
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


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

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

    Veröffentlicht 2015
    Elektronisch E-Book Fernleihe Bestellen


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

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

    Veröffentlicht 2013
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


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

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

    Veröffentlicht 2013
    Elektronisch E-Book Fernleihe Bestellen


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

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

    Veröffentlicht 2013
    Elektronisch E-Book Fernleihe Bestellen


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

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

    Veröffentlicht 2013
    Elektronisch E-Book Fernleihe Bestellen


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

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

    Veröffentlicht 2016
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


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

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

    Veröffentlicht 2013
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


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

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

    Veröffentlicht 2012
    Buch Fernleihe Bestellen


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

    Formal methods applied to complex systems

    Veröffentlicht 2014
    Weitere Verfasser: “… Boulanger, Jean-Louis …”
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2014
    Weitere Verfasser: “… Boulanger, Jean-Louis …”
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: