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