Поиск

Выпуск

Название

Авторы

Том 11, № 7 (2012)

Реализация математической модели верификации требований к управляющим алгоритмам реального времени в автоматизированной системе визуального проектирования

Шулындин А.В., Тюгашев А.А.

(Rus)

Том 11, № 1 (2012)

Визуальный подход к верификации управляющих программ реального времени

Тюгашев А.А., Богатов А.Ю., Шулындин А.В.

(Rus)

Том 10, № 2 (2011)

К вопросу о построении спецификации для бортовых управляющих алгоритмов реального времени

Тюгашёв А.А., Богатов А.Ю.

(Rus)

Том 9, № 2 (2010): Специальный выпуск

Создание средств информационной поддержки проектирования логики управляющих алгоритмов бортовых комплексов управления КА

Сыгуров Ю.

(Rus)

Том 9, № 2 (2010): Специальный выпуск

Использование графических языков в жизненном цикле бортового программного обеспечения космических аппаратов

Калентьев А., Тюгашев А.А.

(Rus)

• Ключевые слова чувствительны к регистру
• Английские предлоги и союзы игнорируются
• По умолчанию поиск проводится по всем ключевым словам (агенс AND экспериенцер)
• Используйте OR для поиска того или иного термина, напр. образование OR обучение
• Используйте скобки для создания сложных фраз, напр. архив ((журналов OR конференций) NOT диссертаций)
• Для поиска точной фразы используйте кавычки, напр. "научные исследования"
• Исключайте слово при помощи знака - (дефис) или оператора NOT; напр. конкурс -красоты или же конкурс NOT красоты
• Используйте * в качестве версификатора, напр. научн* охватит слова "научный", "научные" и т.д.