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




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


1.

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

О.Н. Кулешова - Восточно-Европейский журнал передовых технологий , 2012
2.

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

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

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

А.А. Тюгашев, А.Ю. Богатов - Вестник Самарского государственного аэрокосмического университета имени академика С.П. Королева (национального исследовательского университета) , 2011
Вестник СГАУ, №2 (26) 2011, с.269-275
4.

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

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

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

Калентьев А.А., Тюгашев А.А. - Пензенский государственный университет , 2010
сб.докладов международного симпозиума "Надежность и качество". 2010. Т. I. С. 54-55. ISSN 2220-6418
6.

Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата е-сетей (публикация автора на scipeople)     

Дуравкин Евгений Владимирович, Коровченко Елена Борисовна - Проблеми телекомунікацій , 2010
Дуравкин Евгений Владимирович, Коровченко Елена Борисовна Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата Е-сетей // Проблеми телекомунікацій, Vol. 2011, Issue 1, 2010, pp. 28-38
7.

Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата е-сетей (публикация автора на scipeople)     

Е.В. Дуравкин, Е.Б.Коровченко - Проблеми телекомунікацій. , 2011