1. Електронний архів ДонНТУ м.Покровськ

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-6 of 6 (Search time: 0.002 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2009-10-07ОБЕСПЕЧЕНИЕ МОНОТОННОСТИ ВЫВОДА И ВЕРИФИКАЦИЯ БАЗ ЗНАНИЙ В ИНСТРУМЕНТАЛЬНОЙ ОБОЛОЧКЕ ДЛЯ СОЗДАНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ НАДСТРОЕК НАД САПРГригорьев, А.В.; Малявка, О.В.
2011-11-18Методы контроля точности результирующих интервалов при вычислении интервальных полиномиальных функцийИваница, С.В.; Меркулов, А.В.
2012Проблемы верификации систем-на-кристалле на базе FPGA на различных этапах проектированияГорохов, Игорь Викторович; Зинченко, Юрий Евгеньевич
2011Верифікація нелінійних математичних моделей пропорційної гідроапаратури на основі експериментальних дослідженьСкворчевський, О.Є.; Skvorchevsky, A.; Скворчевский, А.Е.
2012An Approach to Composite Web Services Formal VerificationShkarupylo, V.V.; Kudermetov, R.К.; ШКАРУПИЛО, В.В.; КУДЕРМЕТОВ, Р.К.
2012Концептуальная модель процесса автоматизированного синтеза композитных веб-сервисовШкарупило, В.В.; Кудерметов, Р.К.; Паромова, Т.А.; SHKARUPYLO, V.; KUDERMETOV, R.; PAROMOVA, T.; ПАРОМОВА, Т.О.

Discover