Search
Front page
Activities
Persons
Research output
Data sets
Organizational units
Projects
Press/Media
About
Формирование тестовых последовательностей с помощью SAT-решателя
Research output
:
Contribution to journal
›
Article
MK.3021.2014 System Analysis, Informatics and Control
Department of Computer Modelling and Multiprocessor Systems
Overview
Cite this
П.А. Федюкович
Е.В. Елаев
Н.С. Мащинский
В.М. Гришкин
Original language
Russian
Pages (from-to)
521-526
Journal
Процессы управления и устойчивость
State
Published -
2015
ID: 5797353