Mostra 61 - 63 risultati di 63 ricerca '"Software/Program Verification."', tempo di risposta: 0,02s Raffina i risultati
  1. 61

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

    Articolo

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

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

    Articolo

    Heuristic-guided counterexample search in FLAVERS.
  3. 63

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

    Pubblicato in Journal of the ACM
    Articolo

    Interval arithmetic From principles to implementation.

Strumenti per la ricerca: