Dangos 61 - 63 canlyniadau o 63 ar gyfer chwilio '"Software / Program Verification."', amser ymholiad: 0.02e Mireinio'r Canlyniadau
  1. 61

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

    Erthygl

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

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

    Erthygl

    Heuristic-guided counterexample search in FLAVERS.
  3. 63

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

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    Interval arithmetic From principles to implementation.

Offerynnau Chwilio: