Публикация №4382

Название публикацииУНИФИЦИРОВАННАЯ ВЫСОКОУРОВНЕВАЯ МОДЕЛЬ ПРОГРАММНО-АППАРАТНОЙ СИСТЕМЫ ДЛЯ ВЕРИФИКАЦИИ СВОЙСТВ НАДЕЖНОСТИ ФУНКЦИОНИРОВАНИЯ
Название на другом языке
Тип публикацииДоклад
ИзданиеИнструменты и методы анализа программ (Tools & Methods of Program Analysis TMPA-2013): Материалы Международной научно-практической конференции
ИздательКострома: КГТУ
ISBN978-5-8285-0666-8
DOIНе задан
Год издания2013
ТомНе задан
НомерНе задан
ГлаваНе задан
Страницы118–129
АннотацияНе задан
АвторыЗахаров Виктор Николаевич
Ушаков Владимир Георгиевич
Френкель Сергей Лазаревич
ссылка в Internethttps://disk.yandex.ru/public/?hash=5waJElyqHAhqCiBuCTD/npCPwyESKS/zbZF6nzYyI44%3D
РИНЦ0
WoS0
Цитируемые
публикации авторов
ИПИ РАН

(2013) SOME MEASURES OF SELF-REPAIRING ABILITY FOR FAULT-TOLERANT CIRCUITS DESIGN

(2012) SOME PROBABILISTIC AND FORMAL TECHNIQUES FOR FAULT TOLERANT DESIGN

(2010) ОЦЕНКА ВРЕМЕНИ САМОВОССТАНОВЛЕНИЯ В ЦИФРОВЫХ СИСТЕМАХ ПОСЛЕ СБОЕВ, ВЫЗЫВАЕМЫХ ПЕРЕХОДНЫМИ ПОМЕХАМИ / ESTIMATION OF SELF-HEALING TIME FOR DIGITAL SYSTEMS UNDER TRANSIENT FAULTS

(2010) ПОЛУФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ ЦИФРОВОГО УСТРОЙСТВА С КОНВЕЙЕРОМ, ОСНОВАННАЯ НА ИСПОЛЬЗОВАНИИ АЛГОРИТМИЧЕСКИХ МАШИН СОСТОЯНИЯ / SEMIFORMAL VERIFICATION FOR PIPELINED DIGITAL DESIGNS BASED ON ALGORITHMIC STATEMACHINES