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

Название публикацииТРАНСЛЯТОР ТАБЛИЧНЫХ ПРЕДСТАВЛЕНИЙ АВТОМАТОВ МИЛИ В ПРОГРАММЫ НА ЯЗЫКЕ 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
Цитируемые
публикации авторов
ИПИ РАН