Showing 61 - 63 results of 63 for search '"Software/Program Verification."', זמן שאילתה: 0.01s Refine Results
  1. 61

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

    הוצא לאור ב Software engineering notes.
    Article

    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.
    Article

    Heuristic-guided counterexample search in FLAVERS.
  3. 63

    Interval arithmetic From principles to implementation. מאת Hickey, T.

    הוצא לאור ב Journal of the ACM
    Article

    Interval arithmetic From principles to implementation.

כלי חיפוש: