Näytetään 1 - 1 yhteensä 1 tuloksesta haulle 'Garoche, Pierre-Loïc', hakuaika: 0,01s Tarkenna hakua
  1. 1

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

    Julkaistu 2019
    Hae kokoteksti
    Hae kokoteksti
    Electronic Resource

    Formal verification of control system software

Työkalut: