Search Results - Hardware Hardware validation Functional verification

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers by Przigoda, Nils

    ISBN: 9783319728148
    Published: Cham : Springer International Publishing, 2018.

    Get full text
    Electronic eBook