Публикация №1103(БАЛЛЫ 5)

Название публикацииТРАНСЛЯТОР ТАБЛИЧНЫХ ПРЕДСТАВЛЕНИЙ АВТОМАТОВ МИЛИ В ПРОГРАММЫ НА ЯЗЫКЕ SMV ДЛЯ АВТОМАТИЗАЦИИ ВЕРИФИКАЦИИ ПРОЕКТОВ ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ НА ОСНОВЕ ПРОВЕРКИ МОДЕЛЕЙ / THE COMPILER OF TABULAR REPRESENTATIONS OF MEALY MACHINES INTO PROGRAMS IN THE SMV LANGUAGE THAT AUTOMATES VERIFICATION OF COMPUTER PROJECTS USING THE MODEL VERIFICATION
Название на другом языке
Тип публикацииСтатья
ИзданиеСистемы и средства информатики
ИздательМ.: ИПИ РАН
ISBNНе задан
DOIНе задан
Год издания2010
Том20
Номер3
ГлаваНе задан
Страницы4-16
АннотацияНе задан
Авторы(ФИЦ ИУ РАН) Френкель Сергей Лазаревич
Курц Александр Лльвович
Андерс Борис Николаевич
Фандюшина Наталия Ароновна
Либуркин Дмитрий Львович.
ссылка в Internethttp://elibrary.ru/item.asp?id=16344462
РИНЦ0
WoS0
Баллы5
Цитируемые
публикации авторов
ФИЦ ИУ РАН