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

Название публикацииASSURANCE OF SOME SYSTEM RELIABILITY CHARACTERISTICS IN FORMAL DESIGN VERIFICATION
Название на другом языке
Тип публикацииТезисы
ИзданиеAbstracts of VeriSure2014 Workshop as a part of Vienna Summer Logic
ИздательAbstracts Of Vienna Summer Logic
ISBNНе задан
DOIНе задан
Год издания2014
ТомНе задан
НомерНе задан
ГлаваНе задан
СтраницыНе задан
АннотацияНе задан
АвторыФренкель Сергей Лазаревич
ссылка в Internethttp://www.easychair.org/smart-program/VSL2014/VeriSure-2014-07-23.html
РИНЦ0
WoS0
Цитируемые
публикации авторов
ИПИ РАН