Вид документа : Статья из журнала Шифр издания : 681.3(075.8) Заглавие : Верификация цифровых систем на базе программируемых логических интегральных схем, выполняющих функции безопасности в критических приложениях[Текст] Место публикации : Успехи современной радиоэлектроники. - 2005. - N10. - С. .59-76.-Библиогр.: 30назв. УДК : 681.3(075.8) Ключевые слова (''Своб.индексиров.''): плис(применение)--верификация топологии ис(система от_то)--информационно-управляющие системы Экземпляры :ЧЗ N2(1) Свободны : ЧЗ N2(1)