Search Results - Rathmair, M.

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Extended framework for system simulation with affine arithmetic

    Extended framework for system simulation with affine arithmetic by Rathmair, M., Schupfer, F., Radojicic, C., Grimm, C.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Assertion-based verification of signal processing systems with affine arithmetic

    Assertion-based verification of signal processing systems with affine arithmetic by Radojicic, C., Schupfer, F., Rathmair, M., Grimm, C.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: