Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров; Современные техника и технологии; Т. 2

Podrobná bibliografie
Parent link:	Современные техника и технологии: сборник трудов XVIII международной научно-практической конференции студентов, аспирантов и молодых ученых, Томск, 9-13 апреля 2012 г/ Национальный исследовательский Томский политехнический университет (ТПУ).— , 2012 Т. 2.— 2012.— [С. 407-408]
Hlavní autor:	Стотланд И. А.
Korporativní autor:	Московский государственный институт радиотехники, электроники и автоматики (Технический университет) (МИРЭА)
Další autoři:	Васильев А. Г. (научный руководитель), Деменкова Т. А.
Shrnutí:	Заглавие с титульного листа
Jazyk:	ruština
Vydáno:	2012
Edice:	Секция 7: Информатика и управление в технических системах
Témata:	электронный ресурс автоматизация формальные модели верификация системный подход обмен микропроцессоры
On-line přístup:	http://www.lib.tpu.ru/fulltext/v/Conferences/2012/C2/V2/v2_200.pdf
Médium:	Elektronický zdroj Kapitola
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=225004

Popis
Fyzický popis:	1 файл (855 Kb)
Shrnutí:	Заглавие с титульного листа

Podobné jednotky