Toon 61 - 63 resultaten van 63 Voor zoekopdracht '"Software/Program Verification."', zoektijd: 0,02s Verfijn jouw resultaten
  1. 61

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

    Gepubliceerd in Software engineering notes.
    Artikel

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

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

    Gepubliceerd in Software engineering notes.
    Artikel

    Heuristic-guided counterexample search in FLAVERS.
  3. 63

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

    Gepubliceerd in Journal of the ACM
    Artikel

    Interval arithmetic From principles to implementation.

Zoekinstrumenten: