|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Метод повышения эффективности решения задач вероятностной верификации вычислительных и телекоммуникационных системстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из списка Web of Science и/или ScopusДата последнего поиска статьи во внешних источниках: 12 июля 2017 г.
- Авторы: Миронов А.М., Френкель С.Л.
- Журнал: Информатика и ее применения
- Том: 8
- Номер: 4
- Год издания: 2014
- Издательство: ИПИ РАН
- Местоположение издательства: М.
- Первая страница: 60
- Последняя страница: 71
- Добавил в систему: Миронов Андрей Михайлович