A mostrar 61 - 63 resultados de 63 para a pesquisa '"Software / Program Verification."', tempo de pesquisa: 0.02seg Refinar resultados
  1. 61

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

    Artigo

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

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

    Artigo

    Heuristic-guided counterexample search in FLAVERS.
  3. 63

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

    Publicado no Journal of the ACM
    Artigo

    Interval arithmetic From principles to implementation.

Ferramentas de pesquisa: