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

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

Detalles Bibliográficos
Parent link:Современные техника и технологии: сборник трудов XVIII международной научно-практической конференции студентов, аспирантов и молодых ученых, Томск, 9-13 апреля 2012 г/ Национальный исследовательский Томский политехнический университет (ТПУ).— , 2012
Т. 2.— 2012.— [С. 407-408]
Autor principal: Стотланд И. А.
Autor Corporativo: Московский государственный институт радиотехники, электроники и автоматики (Технический университет) (МИРЭА)
Otros Autores: Васильев А. Г. (научный руководитель), Деменкова Т. А.
Sumario:Заглавие с титульного листа
Lenguaje:ruso
Publicado: 2012
Colección:Секция 7: Информатика и управление в технических системах
Materias:
электронный ресурс
автоматизация
формальные модели
верификация
системный подход
обмен
микропроцессоры
Acceso en línea:http://www.lib.tpu.ru/fulltext/v/Conferences/2012/C2/V2/v2_200.pdf
Formato: Electrónico Capítulo de libro
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=225004

Ejemplares similares

Ejemplares similares