Search Results - abstraction techniques for modeling and verification

Suggested Topics within your search.
  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Cover Image

    Formal System Verification State-of the-Art and Future Trends /

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

    Get full text
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Cover Image

    Low-Power Design and Power-Aware Verification by Khondkar, Progyna

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

    Get full text
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Cover Image

    Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 /

    ISBN: 9783319629209
    ISSN: 1876-1100 ;
    Published: Cham : Springer International Publishing, 2018.

    Get full text
    Electronic eBook
    Save to List
    Saved in:

Search Tools: