Εμφανίζονται 61 - 63 Αποτελέσματα από 63 για την αναζήτηση '"Software program verification."', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 61

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

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

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

    Heuristic-guided counterexample search in FLAVERS. ανά Tan, Jianbin

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Heuristic-guided counterexample search in FLAVERS.
  3. 63

    Interval arithmetic From principles to implementation. ανά Hickey, T.

    Τόπος έκδοσης Journal of the ACM
    Άρθρο

    Interval arithmetic From principles to implementation.

Εργαλεία αναζήτησης: