Standard

Формирование тестовых последовательностей с помощью SAT-решателя. / Федюкович, П.А.; Елаев, Е.В.; Мащинский, Н.С.; Гришкин, В.М.

In: Процессы управления и устойчивость, 2015, p. 521-526.

Research output: Contribution to journal › Article

Harvard

Федюкович, ПА, Елаев, ЕВ, Мащинский, НС & Гришкин, ВМ 2015, 'Формирование тестовых последовательностей с помощью SAT-решателя', Процессы управления и устойчивость, pp. 521-526.

APA

Федюкович, П. А., Елаев, Е. В., Мащинский, Н. С., & Гришкин, В. М. (2015). Формирование тестовых последовательностей с помощью SAT-решателя. Процессы управления и устойчивость, 521-526.

Vancouver

Федюкович ПА, Елаев ЕВ, Мащинский НС, Гришкин ВМ. Формирование тестовых последовательностей с помощью SAT-решателя. Процессы управления и устойчивость. 2015;521-526.

Author

Федюкович, П.А. ; Елаев, Е.В. ; Мащинский, Н.С. ; Гришкин, В.М. / Формирование тестовых последовательностей с помощью SAT-решателя. In: Процессы управления и устойчивость. 2015 ; pp. 521-526.

BibTeX

@article{fb11c9b687b04e579fd2d699d3e86e61,
title = "Формирование тестовых последовательностей с помощью SAT-решателя",
author = "П.А. Федюкович and Е.В. Елаев and Н.С. Мащинский and В.М. Гришкин",
year = "2015",
language = "русский",
pages = "521--526",
journal = "Процессы управления и устойчивость",
issn = "2313-7304",
publisher = "Смирнов Николай Васильевич",

}

RIS

TY - JOUR

T1 - Формирование тестовых последовательностей с помощью SAT-решателя

AU - Федюкович, П.А.

AU - Елаев, Е.В.

AU - Мащинский, Н.С.

AU - Гришкин, В.М.

PY - 2015

Y1 - 2015

M3 - статья

SP - 521

EP - 526

JO - Процессы управления и устойчивость

JF - Процессы управления и устойчивость

SN - 2313-7304

ER -

ID: 5797353