Showing 1 - 4 results of 4 for search 'S. A. Smolov', query time: 0.03s Refine Results
  1. 1
    A Survey of Methods for Model Extraction from HDL Descriptions

    A Survey of Methods for Model Extraction from HDL Descriptions by S. A. Smolov

    Published 2018-10-01
    Get full text
    Article
  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 by M. S. Lebedev, S. A. Smolov

    Published 2018-10-01
    Get full text
    Article
  3. 3
    Test Generation for Digital Hardware Based on High-Level Models

    Test Generation for Digital Hardware Based on High-Level Models by M. M. Chupilko, A. S. Kamkin, M. S. Lebedev, S. A. Smolov

    Published 2018-10-01
    Get full text
    Article
  4. 4
    Development and validation of a peptide-mapping procedure for a novel C1 esterase inhibitor

    Development and validation of a peptide-mapping procedure for a novel C1 esterase inhibitor by E. V. Zubareva, M. D. Degterev, M. Yu. Neronova, M. A. Smolov, R. R. Shukurov

    Published 2023-06-01
    Get full text
    Article

Search Tools: