Standard

Обзор применения формальных методов в робототехнике. / Литвинов, Юрий Викторович; Мордвинов, Д.А.

In: НАУЧНО-ТЕХНИЧЕСКИЕ ВЕДОМОСТИ САНКТ-ПЕТЕРБУРГСКОГО ГОСУДАРСТВЕННОГО ПОЛИТЕХНИЧЕСКОГО УНИВЕРСИТЕТА. ИНФОРМАТИКА. ТЕЛЕКОММУНИКАЦИИ. УПРАВЛЕНИЕ, No. 1 (236), 2016, p. 84-107.

Research output: Contribution to journal › Article › peer-review

Harvard

Литвинов, ЮВ & Мордвинов, ДА 2016, 'Обзор применения формальных методов в робототехнике', НАУЧНО-ТЕХНИЧЕСКИЕ ВЕДОМОСТИ САНКТ-ПЕТЕРБУРГСКОГО ГОСУДАРСТВЕННОГО ПОЛИТЕХНИЧЕСКОГО УНИВЕРСИТЕТА. ИНФОРМАТИКА. ТЕЛЕКОММУНИКАЦИИ. УПРАВЛЕНИЕ, no. 1 (236), pp. 84-107.

APA

Литвинов, Ю. В., & Мордвинов, Д. А. (2016). Обзор применения формальных методов в робототехнике. НАУЧНО-ТЕХНИЧЕСКИЕ ВЕДОМОСТИ САНКТ-ПЕТЕРБУРГСКОГО ГОСУДАРСТВЕННОГО ПОЛИТЕХНИЧЕСКОГО УНИВЕРСИТЕТА. ИНФОРМАТИКА. ТЕЛЕКОММУНИКАЦИИ. УПРАВЛЕНИЕ, (1 (236)), 84-107.

Vancouver

Литвинов ЮВ, Мордвинов ДА. Обзор применения формальных методов в робототехнике. НАУЧНО-ТЕХНИЧЕСКИЕ ВЕДОМОСТИ САНКТ-ПЕТЕРБУРГСКОГО ГОСУДАРСТВЕННОГО ПОЛИТЕХНИЧЕСКОГО УНИВЕРСИТЕТА. ИНФОРМАТИКА. ТЕЛЕКОММУНИКАЦИИ. УПРАВЛЕНИЕ. 2016;(1 (236)):84-107.

Author

Литвинов, Юрий Викторович ; Мордвинов, Д.А. / Обзор применения формальных методов в робототехнике. In: НАУЧНО-ТЕХНИЧЕСКИЕ ВЕДОМОСТИ САНКТ-ПЕТЕРБУРГСКОГО ГОСУДАРСТВЕННОГО ПОЛИТЕХНИЧЕСКОГО УНИВЕРСИТЕТА. ИНФОРМАТИКА. ТЕЛЕКОММУНИКАЦИИ. УПРАВЛЕНИЕ. 2016 ; No. 1 (236). pp. 84-107.

BibTeX

@article{f16c67c3386f4e709a22fbab71a09f19,
title = "Обзор применения формальных методов в робототехнике",
author = "Литвинов, {Юрий Викторович} and Д.А. Мордвинов",
year = "2016",
language = "русский",
pages = "84--107",
journal = "НАУЧНО-ТЕХНИЧЕСКИЕ ВЕДОМОСТИ САНКТ-ПЕТЕРБУРГСКОГО ГОСУДАРСТВЕННОГО ПОЛИТЕХНИЧЕСКОГО УНИВЕРСИТЕТА. ИНФОРМАТИКА. ТЕЛЕКОММУНИКАЦИИ. УПРАВЛЕНИЕ",
issn = "2304-9766",
publisher = "Издательство Санкт-Петербургского Государственного Политехнического Университета",
number = "1 (236)",

}

RIS

TY - JOUR

T1 - Обзор применения формальных методов в робототехнике

AU - Литвинов, Юрий Викторович

AU - Мордвинов, Д.А.

PY - 2016

Y1 - 2016

M3 - статья

SP - 84

EP - 107

JO - НАУЧНО-ТЕХНИЧЕСКИЕ ВЕДОМОСТИ САНКТ-ПЕТЕРБУРГСКОГО ГОСУДАРСТВЕННОГО ПОЛИТЕХНИЧЕСКОГО УНИВЕРСИТЕТА. ИНФОРМАТИКА. ТЕЛЕКОММУНИКАЦИИ. УПРАВЛЕНИЕ

JF - НАУЧНО-ТЕХНИЧЕСКИЕ ВЕДОМОСТИ САНКТ-ПЕТЕРБУРГСКОГО ГОСУДАРСТВЕННОГО ПОЛИТЕХНИЧЕСКОГО УНИВЕРСИТЕТА. ИНФОРМАТИКА. ТЕЛЕКОММУНИКАЦИИ. УПРАВЛЕНИЕ

SN - 2304-9766

IS - 1 (236)

ER -

ID: 16060918