|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Унифицированная высокоуровневая модель программно-аппаратной системы для верификации свойств надежности функционированиястатья
- Авторы: Френкель С.Л., Захаров В.Н., Ушаков В.Г.
- Сборник: Сборник материалов Международной научно-практической конференции "Инструменты и методы анализа программ" ТМПА-2013
- Год издания: 2013
- Место издания: Издательство Костромского государственного технологического университета г. Кострома
- Первая страница: 108
- Последняя страница: 119
- Добавил в систему: Ушаков Владимир Георгиевич