Zobrazuji výsledky 1 - 1 z 1 pro vyhledávání 'Garoche, Pierre-Loïc', doba hledání: 0,01 s. Upřesnit hledání
  1. 1

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

    Vydáno 2019
    Získat plný text
    Získat plný text
    Electronic Resource

    Formal verification of control system software

Vyhledávací nástroje: