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

Название публикацииСЕМАНТИЧЕСКАЯ ТРАНСФОРМАЦИЯ КАНОНИЧЕСКОЙ ИНФОРМАЦИОННОЙ МОДЕЛИ В ФОРМАЛЬНЫЙ ЯЗЫК СПЕЦИФИКАЦИЙ ДЛЯ ВЕРИФИКАЦИИ УТОЧНЕНИЯ
Название на другом языке
Тип публикацииДоклад
ИзданиеЭлектронные библиотеки: перспективные методы и технологии, электронные коллекции RCDL’2010
ИздательКазань: КГУ
ISBNНе задан
DOIНе задан
Год издания2010
ТомНе задан
НомерНе задан
ГлаваНе задан
Страницы383–391
АннотацияНе задан
АвторыСтупников Сергей Александрович
ссылка в Internet
РИНЦ0
WoS0
Цитируемые
публикации авторов
ИПИ РАН