Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций
автореферат дис. ... кандидата физико-математических наук : 05.13.11
автореферат дис. ... кандидата физико-математических наук : 05.13.11
Москва, 2009
Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций
автореферат дис. ... кандидата физико-математических наук : 05.13.11
Москва, 2009
Библиографическое описание
Скопировать
Камкин, Александр Сергеевич. Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций : автореферат дис. ... кандидата физико-математических наук : 05.13.11 / Камкин Александр Сергеевич; [Место защиты: Ин-т систем. программирования]. — Москва, 2009. — 21 с..
Детальная информация
Код документа в НЭБ
000199_000009_003466432
Каталог
Автор(ы)
Заглавие
Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций : автореферат дис. кандидата физико-математических наук : 05.13.11
Место издания
Москва
Год издания
2009
Объем
21 с.
Ответственность
Камкин Александр Сергеевич; [Место защиты: Ин-т систем. программирования]
ББК
З973.26-021.1с116,0
Язык
Русский
Еще
Ключевые слова
проектное тестирование микропроцессоров, микропроцессоры с конвейерной архитектурой, формальные спецификации тестирования
Библиотека
LDR
02157nam a2200313 i 4500
001
003466432
003
RuMoRGB
005
20091130122605.0
008
090522s2009 ru |||| a |00 u rus d
017
##
$a: 09-9299А
$b: RuMoRKP
$a: 09-9299А
$b: RuMoRKP
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
$a: RuMoRGB
$b: rus
$c: RuMoRGB
041
##
$a: rus
$a: rus
072
#1
$a: 05.13.11
$2: nsnr
$a: 05.13.11
$2: nsnr
084
##
$a: З973.26-021.1с116,0
$2: rubbk
$a: З973.26-021.1с116,0
$2: rubbk
100
1#
$a: Камкин, Александр Сергеевич
$a: Камкин, Александр Сергеевич
245
##
$a: Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций :
$b: автореферат дис. ... кандидата физико-математических наук : 05.13.11
$c: Камкин Александр Сергеевич; [Место защиты: Ин-т систем. программирования]
$a: Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций :
$b: автореферат дис. ... кандидата физико-математических наук : 05.13.11
$c: Камкин Александр Сергеевич; [Место защиты: Ин-т систем. программирования]
260
##
$a: Москва
$c: 2009
$a: Москва
$c: 2009
300
##
$a: 21 с.
$a: 21 с.
650
#1
$a: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
$2: nsnr
$a: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
$2: nsnr
650
#1
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Микропроцессоры -- Надежность -- Математическое моделирование
$2: rubbk
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Микропроцессоры -- Надежность -- Математическое моделирование
$2: rubbk
653
##
$a: проектное тестирование микропроцессоров
$a: проектное тестирование микропроцессоров
653
##
$a: микропроцессоры с конвейерной архитектурой
$a: микропроцессоры с конвейерной архитектурой
653
##
$a: формальные спецификации тестирования
$a: формальные спецификации тестирования
720
1#
$a: Институт системного программирования
$a: Институт системного программирования
852
##
$a: РГБ
$b: FB
$c: D13N
$j: 9 09-3/828
$x: 90
$a: РГБ
$b: FB
$c: D13N
$j: 9 09-3/828
$x: 90
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01003000000/rsl01003466000/rsl01003466432/rsl01003466432.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01003000000/rsl01003466000/rsl01003466432/rsl01003466432.pdf
$y: Читать
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций : автореферат дис. кандидата физико-математических наук : 05.13.11 » , автор — Камкин А.С.. Документ был опубликован в 2009 году. Место издания — Москва. Электронный ресурс – электронная копия документа предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5. На сайте rusneb.ru Вы можете читать онлайн оцифрованную версию документа « Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций : автореферат дис. кандидата физико-математических наук : 05.13.11 » в удобной системе просмотра документов. Документ также доступен для скачивания в форматах: pdf.