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

Название публикацииSOME LOGICAL CONDITIONS AND PROBABILISTIC CHARACTERISTICS AS A GUIDE FOR FAULT-TOLERANT SYSTEMS VERIFICATION
Название на другом языке
Тип публикацииСтатья
ИзданиеLecture Notes in Engineering and Computer Science
ИздательНе задан
ISBNНе задан
DOIНе задан
Год издания2013
ТомНе задан
НомерНе задан
ГлаваНе задан
Страницы873-878
АннотацияНе задан
АвторыФренкель Сергей Лазаревич
ссылка в Internet
РИНЦ0
WoS0
Цитируемые
публикации авторов
ИПИ РАН

(2007) A MATHEMATICAL TOOL FOR SUPPORT OF FAULT-TOLERANT EMBEDDED SYSTEMS DESIGN

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

(2009) ВЕРОЯТНОСТНЫЙ АНАЛИЗ ВРЕМЕНИ ПРОЯВЛЕНИЯ НЕИСПРАВНОСТИ В СЕТИ АВТОМАТОВ / A PROBABILISTIC ANALYSIS OF FAULT DETECTION LATENCY IN A NETWORK OF FINITE STATE MACHINES

(2009) МЕТОДЫ ПОСТРОЕНИЯ ИНФОРМАЦИОННЫХ МОДЕЛЕЙ ЭРЕДИТАРНЫХ ФЛУКТУАЦИЙ НЕРАВНОМЕРНОСТИ ВРАЩЕНИЯ ЗЕМЛИ / METHODS FOR INFORMATION MODEL BUILDING FOR THE EARTH TIDAL HEREDITARY IRREGULAR ROTATION

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