Showing 1 - 6 results of 6 for search '"тестовые пары"', query time: 0.05s Refine Results
  1. 1
    SAT solvers application of deriving all test pairs detecting robust testable PDFs
    Subjects: “...тестовые пары...”
    Get full text
    Book Chapter
  2. 2
    Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами
    Subjects: “...тестовые пары...”
    Get full text
    Book Chapter
  3. 3
    Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей
    Subjects: “...тестовые пары...”
    Get full text
    Book Chapter
  4. 4
    Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул
    Subjects: “...тестовые пары...”
    Get full text
    Book Chapter
  5. 5
    Обеспечение надежности физических систем: синтез логических схем, в которых задержка каждого пути обнаружима, с одновременным компактным представлением тестовых пар
    Subjects: “...тестовые пары...”
    Get full text
    Article
  6. 6
    Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием КНФ логической схемы
    Subjects: “...тестовые пары...”
    Get full text
    Book Chapter
Search Tools: Get RSS Feed