Standard

Автоматизация верификационных процессов в жизненном цикле разработки объектов критической инфраструктуры и встраиваемых систем управления. / Завадский, С.В.; Сиротинин, И.В.

Сборник докладов научно-технической конференции «XX международная научно-техническая конференция «Радиолокация, навигация, связь (RLNC*2014)». 2014. стр. 943-947.

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная

Harvard

Завадский, СВ & Сиротинин, ИВ 2014, Автоматизация верификационных процессов в жизненном цикле разработки объектов критической инфраструктуры и встраиваемых систем управления. в Сборник докладов научно-технической конференции «XX международная научно-техническая конференция «Радиолокация, навигация, связь (RLNC*2014)». стр. 943-947.

APA

Завадский, С. В., & Сиротинин, И. В. (2014). Автоматизация верификационных процессов в жизненном цикле разработки объектов критической инфраструктуры и встраиваемых систем управления. в Сборник докладов научно-технической конференции «XX международная научно-техническая конференция «Радиолокация, навигация, связь (RLNC*2014)» (стр. 943-947)

Vancouver

Завадский СВ, Сиротинин ИВ. Автоматизация верификационных процессов в жизненном цикле разработки объектов критической инфраструктуры и встраиваемых систем управления. в Сборник докладов научно-технической конференции «XX международная научно-техническая конференция «Радиолокация, навигация, связь (RLNC*2014)». 2014. стр. 943-947

Author

Завадский, С.В. ; Сиротинин, И.В. / Автоматизация верификационных процессов в жизненном цикле разработки объектов критической инфраструктуры и встраиваемых систем управления. Сборник докладов научно-технической конференции «XX международная научно-техническая конференция «Радиолокация, навигация, связь (RLNC*2014)». 2014. стр. 943-947

BibTeX

@inproceedings{a9c5041bbc2e4f9a9d091e4ba49fed4d,
title = "Автоматизация верификационных процессов в жизненном цикле разработки объектов критической инфраструктуры и встраиваемых систем управления",
author = "С.В. Завадский and И.В. Сиротинин",
year = "2014",
language = "не определен",
pages = "943--947",
booktitle = "Сборник докладов научно-технической конференции «XX международная научно-техническая конференция «Радиолокация, навигация, связь (RLNC*2014)»",

}

RIS

TY - GEN

T1 - Автоматизация верификационных процессов в жизненном цикле разработки объектов критической инфраструктуры и встраиваемых систем управления

AU - Завадский, С.В.

AU - Сиротинин, И.В.

PY - 2014

Y1 - 2014

M3 - статья в сборнике материалов конференции

SP - 943

EP - 947

BT - Сборник докладов научно-технической конференции «XX международная научно-техническая конференция «Радиолокация, навигация, связь (RLNC*2014)»

ER -

ID: 4716084