A mostrar 1 - 1 resultados de 1 para a pesquisa 'Garoche, Pierre-Loïc', tempo de pesquisa: 0.01seg Refinar resultados
  1. 1

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

    Publicado em 2019
    Obter o texto integral
    Obter o texto integral
    Electronic Resource

    Formal verification of control system software

Ferramentas de pesquisa: