Связанные научные тематики:
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 




 Найдено научных статей и публикаций: 21, для научной тематики: Верификация


1.

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

Рехтина Л.С. - Российское социологическое сообщество: история, современность, место в мировой науке , 2016
Российское социологическое сообщество: история, современность, место в мировой науке / Материалы научной конференции к 100-летию Русского социологического общества имени М.М. Ковалевского 10-12 ноября 2016 года. / Отв. редактор: Ю.В. Асочаков. СПб.: Скифия-принт, 2016. – 1634 с. С. 1625-1627
2.

Метод верификации комплексных Web-сервисов (публикация автора на scipeople)     

Ткачева Елена Борисовна, Иссам Саад, Раед Яхя Абдулгхафур - Проблеми телекомунікацій , 2014
Ткачева Елена Борисовна, Иссам Саад, Раед Яхя Абдулгхафур Метод верификации комплексных Web-сервисов // Проблеми телекомунікацій, Vol. 2014, Issue 1, 2014, pp. 63-73
3.

Применение эталонных событийных моделей для автономной верификации микропроцессоров (публикация автора на scipeople)     

Стотланд И.А., Лагутин А.А. - Вопросы радиоэлектроники , 2014
4.

Методика комплексной функциональной верификации модулей системного обмена микропроцессорных вычислительных комплексов (публикация автора на scipeople)     

Стотланд И.А. , 2012
Стотланд И.А. автореферат диссертации на соискание ученой степени кандидата технических наук / Московский государственный технический университет радиотехники, электроники и автоматики. Москва, 2012
5.

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

А.А. Тюгашев, А.В. Шулындин - Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета) , 2013
Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета), №7 (38), 2012 г.С 59-66
6.

Пути повышения надежности и качества программного обеспечения в космической отрасли (публикация автора на scipeople)     

Тюгашев А. А., Ильин И. А., Ермаков И. Е. - Инс-т проблем управления им. В.А.Трапезникова РАН , 2012
Управление большими системами. Сборник трудов. Инс-т проблем управления им. В.А.Трапезникова РАН, Вып.39 2012, с. 288-299
7.

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

Тюгашев А.А., Богатов, А.Ю., Шулындин А.В. - СГАУ , 2012
Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета), №1 (32), 2012 г.С 219-225
8.

Логический вывод в системе верификации требований к управляющим алгоритмам реального времени (публикация автора на scipeople)   

Тюгашев А.А., Шулындин А.В. - СГАУ , 2012
Управление движением и навигация летательных аппаратов : Сборник трудов XV Всероссийского семинара по управлению движением и навигации летательных аппаратов: Часть I / Самар. гос. аэрокосм. ун-т. Самара, 2012 С 157-160
9.

Направления совершенствования методов разработки и верификации программного обеспечения в аэрокосмической отрасли (публикация автора на scipeople)   

Тюгашев А.А. - Издательство МАИ , 2012
Системный анализ, управление и навигация: Тезисы докладов.-М.: Изд-во МАИ, 2012. С.77-79 ISBN 978-5-4316-0067-8
10.

Алгебраические и логические подходы к спецификации, верификации и синтезу управляющих программ для ка (публикация автора на scipeople)   

Калентьев А.А., Тюгашев А.А. - Изд-во МАИ , 2006
Тез.докладов 11-й Международной конференции "Системный анализ, управление и навигация". Евпатория, 2006.