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