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