Mostrando 61 - 63 resultados de 63 para a busca '"Software program verification."', tempo de busca: 0.02s 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 busca: