Search Results - "расширенный конечный автомат"

A TEFSM-based Framework for QoE Evaluation of OTT Services

D. Rivera, N. Kushik, C. Fuenzalida, A. Cavalli, N. Yevtushenko

electronic resource

View item; View item; View item

Test Generation for Digital Hardware Based on High-Level Models

M. M. Chupilko, A. S. Kamkin, M. S. Lebedev, S. A. Smolov

electronic resource

View item; View item; View item

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

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs

I. . Melnichenko, A. . Kamkin, S. . Smolov

electronic resource

View item; View item; View item