نتائج البحث

METHOD FOR ASSESSING THE ACTIVITIES OF THE ORGANIZATION (BY THE EXAMPLE OF THE AUTHORITIES OF THE STATE FIRE SUPERVISION EMERCOM OF RUSSIA)

• Authors : A.A. Poroshin; V.I. Iskalin; V.A. Sorokin

Subjects: organization; performance evaluation; evaluation indicators

• Source: Модели, системы, сети в экономике, технике, природе и обществе, Iss 3 (2022)

تفاصيل العنوان

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

• Authors : I. . Melnichenko; A. . Kamkin; S. . Smolov

Subjects: проектирование аппаратуры; язык описания аппаратуры; имитационная верификация

• Source: Труды Института системного программирования РАН, Vol 27, Iss 3, Pp 161-182 (2018)

تفاصيل العنوان

An extended finite state machine-based approach to code coverage-directed test generation for hardware designs

• Authors : I. Melnichenko; A. Kamkin; S. Smolov

Subjects: язык описания аппаратуры; поиск с возвратами; моделирование

• Source: Труды Института системного программирования РАН, Vol 27, Iss 3, Pp 161-182 (2018)

تفاصيل العنوان

8. 3. Исследование в суде доказательств по делам о криминальных пожарах

Subjects: КРИМИНАЛЬНЫЕ ПОЖАРЫ, ТИПИЧНАЯ И НЕТИПИЧНАЯ СЛЕДОВАЯ КАРТИНА, СУДЕБНЫЕ ЭКСПЕРТИЗЫ, TYPICAL AND "ATYPICAL" TRACE EVIDENCE

• Source: Пробелы в российском законодательстве. Юридический журнал.

تفاصيل العنوان