Search Results - "охраняемое действие"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Extracting Assertions for Conflicts in HDL Descriptions

    Extracting Assertions for Conflicts in HDL Descriptions

    Alexander Sergeevitch Kamkin, Mikhail Sergeevitch Lebedev, Sergey Alexandrovitch Smolov

    electronic resource

    View item; View item; View item

    View record in DOAJ
    Save to List
  2. 2
    A Model Checking-Based Method of Functional Test Generation for HDL Descriptions

    A Model Checking-Based Method of Functional Test Generation for HDL Descriptions

    M. S. Lebedev, S. A. Smolov

    electronic resource

    View item; View item; View item

    View record in DOAJ
    Save to List

Search Tools: