Skip recommendations
Mostrando 1 - 13 Resultados de 13 Para Buscar 'Boulanger, Jean-Louis', tiempo de consulta: 0.04s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Applications Logicielles Certifiables 3
    por Boulanger, Jean-Louis
    Publicado 2018
    Texto completo
    Electrónico eBook
  2. 2
    CENELEC 50128 and IEC 62279 Standards.
    por Boulanger, Jean-Louis
    Publicado 2015
    Texto completo
    Electrónico eBook
  3. 3
    Formal Methods Applied to Complex Systems.
    por Boulanger, Jean-Louis
    Publicado 2014
    Texto completo
    Electrónico eBook
  4. 4
    Formal Methods Applied to Industrial Complex Systems : Implementation of the B Method.
    por Boulanger, Jean-Louis
    Publicado 2014
    Texto completo
    Electrónico eBook
  5. 5
    Safety Management of Software-based Equipment.
    por Boulanger, Jean-Louis
    Publicado 2013
    Texto completo
    Electrónico eBook
  6. 6
    Safety of Computer Architectures.
    por Boulanger, Jean-Louis
    Publicado 2013
    Texto completo
    Electrónico eBook
  7. 7
    Static analysis of software : the abstract interpretation /
    Publicado 2012
    Otros Autores: “…Boulanger, Jean-Louis…”
    Texto completo
    Electrónico eBook
  8. 8
    Formal methods : industrial use from model to the code /
    Publicado 2012
    Otros Autores: “…Boulanger, Jean-Louis…”
    Texto completo
    Electrónico eBook
  9. 9
    Static analysis of software the abstract interpretation /
    Publicado 2012
    Otros Autores: “…Boulanger, Jean-Louis…”
    Texto completo
    Electrónico eBook
  10. 10
    Safety of computer architectures
    Publicado 2010
    Otros Autores: “…Boulanger, Jean-Louis…”
    Texto completo
    Electrónico eBook
  11. 11
    Certifiable software applications.
    por Boulanger, Jean-Louis
    Publicado 2016
    Texto completo
    Electrónico eBook
  12. 12
    Certifiable software applications.
    por Boulanger, Jean-Louis
    Publicado 2016
    Texto completo
    Electrónico eBook
  13. 13
    Certifiable software applications.
    por Boulanger, Jean-Louis
    Publicado 2018
    Texto completo
    Electrónico eBook