Zobrazuji výsledky 1 - 5 z 5 pro vyhledávání '"Safety-critical system."', doba hledání: 0,02 s. Upřesnit hledání
  1. 1

    Using symbolic execution for verifying safety-critical systems. Autor Coen-Porisini, Alberto

    Článek

    Using symbolic execution for verifying safety-critical systems.
  2. 2

    By-wire cars turn the corner. Autor Bretz, E.A

    Vydáno v IEEE spectrum
    Článek

    By-wire cars turn the corner.
  3. 3

    Can you trust your car? [automotive electronics reliability testing]. Autor Berger, I.

    Vydáno v IEEE spectrum
    Článek

    Can you trust your car? [automotive electronics reliability testing].
  4. 4

    Can you trust your car? [automotive electronics reliability testing]. Autor Berger, I.

    Vydáno v IEEE spectrum
    Článek

    Can you trust your car? [automotive electronics reliability testing].
  5. 5

    Can you trust your car? [automotive electronics reliability testing]. Autor Berger, I.

    Vydáno v IEEE spectrum
    Článek

    Can you trust your car? [automotive electronics reliability testing].

Vyhledávací nástroje: