Zobrazuji výsledky 61 - 63 z 63 pro vyhledávání '"Software/Program Verification."', doba hledání: 0,02 s. Upřesnit hledání
  1. 61

    Modular design and verification of component-based mechatronic systems with online-reconfiguration. Autor Giese, Holger

    Článek

    Modular design and verification of component-based mechatronic systems with online-reconfiguration.
  2. 62

    Heuristic-guided counterexample search in FLAVERS. Autor Tan, Jianbin

    Článek

    Heuristic-guided counterexample search in FLAVERS.
  3. 63

    Interval arithmetic From principles to implementation. Autor Hickey, T.

    Vydáno v Journal of the ACM
    Článek

    Interval arithmetic From principles to implementation.

Vyhledávací nástroje: