Showing 1 - 1 results of 1 for search 'Garoche, Pierre-Loïc', tempo de consulta: 0.01s Limitar resultados
  1. 1

    Formal verification of control system software por Garoche, Pierre-Loïc

    Publicado 2019
    Ligazón do recurso
    Ligazón do recurso
    Electronic Resource

    Formal verification of control system software

Ferramentas de procura: