Standard

Generating a test sequences using the SAT-solver. / Fedyukovich, P. A.; Yelaev, Ye. V.; Maschinskiy, N. S.; Grishkin V., M.

2015. 73 Реферат от XLVI Международная научная конференция аспирантов и студентов «Процессы управления и устойчивость» , Санкт-Петербург, Российская Федерация.

Результаты исследований: Материалы конференций › тезисы

Harvard

Fedyukovich, PA, Yelaev, YV, Maschinskiy, NS & Grishkin V., M 2015, 'Generating a test sequences using the SAT-solver', XLVI Международная научная конференция аспирантов и студентов «Процессы управления и устойчивость» , Санкт-Петербург, Российская Федерация, 6/04/15 - 9/04/15 стр. 73.

APA

Fedyukovich, P. A., Yelaev, Y. V., Maschinskiy, N. S., & Grishkin V., M. (2015). Generating a test sequences using the SAT-solver. 73. Реферат от XLVI Международная научная конференция аспирантов и студентов «Процессы управления и устойчивость» , Санкт-Петербург, Российская Федерация.

Vancouver

Fedyukovich PA, Yelaev YV, Maschinskiy NS, Grishkin V. M. Generating a test sequences using the SAT-solver. 2015. Реферат от XLVI Международная научная конференция аспирантов и студентов «Процессы управления и устойчивость» , Санкт-Петербург, Российская Федерация.

Author

Fedyukovich, P. A. ; Yelaev, Ye. V. ; Maschinskiy, N. S. ; Grishkin V., M. / Generating a test sequences using the SAT-solver. Реферат от XLVI Международная научная конференция аспирантов и студентов «Процессы управления и устойчивость» , Санкт-Петербург, Российская Федерация.

BibTeX

@conference{21488737e67940e1b9f90c8331150e7b,
title = "Generating a test sequences using the SAT-solver",
author = "Fedyukovich, {P. A.} and Yelaev, {Ye. V.} and Maschinskiy, {N. S.} and {Grishkin V.}, M.",
year = "2015",
language = "English",
pages = "73",
note = "Control Processes and Stability (CPS-15) ; Conference date: 06-04-2015 Through 09-04-2015",
url = "http://old.apmath.spbu.ru/ru/research/conference/pm/archive/2015.html, https://elibrary.ru/title_about.asp?id=53121, http://www.apmath.spbu.ru/ru/research/conference/pm/archive/2015.html",

}

RIS

TY - CONF

T1 - Generating a test sequences using the SAT-solver

AU - Fedyukovich, P. A.

AU - Yelaev, Ye. V.

AU - Maschinskiy, N. S.

AU - Grishkin V., M.

N1 - Conference code: 46

PY - 2015

Y1 - 2015

M3 - Abstract

SP - 73

T2 - Control Processes and Stability (CPS-15)

Y2 - 6 April 2015 through 9 April 2015

ER -

ID: 6939218