Sökresultat - "охраняемое действие"

  • Visas 1 - 2 av 2 resultat
Förfina resultatet
  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

    Visa; Visa; Visa

    View record in DOAJ
    Lägg till i favoriter
  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

    Visa; Visa; Visa

    View record in DOAJ
    Lägg till i favoriter

Sökverktyg: