федеральное государственное автономное образовательное учреждение высшего образования
«Самарский национальный исследовательский университет имени академика С.П. Королева»

Tyugashev, Andrey A.

  • Department of Power Plant Automatic Systems, professor
  • professor
2015
  • 1 Andrey Tyugashev, Myasnikova E.A., Elena Sopchenko TOOLS OF TEST GENERATION FOR SATELLITES CONTROL PROGRAMS // \"ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И НАНОТЕХНОЛОГИИ (ИТНТ-2015)\". — 2015. — P. 287-290
2012
  • 1 TYuGAShEV A.A., Ermakov E.I., Ilin I.A. Ways to get more reliable and safe software in Aerospace Industry // Proc. Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012). — 2012. —
2011
  • 1 TYuGAShEV A.A., KALENTEV A.A., Shulyndin A.V. Shulyndin Visual toolset for real-time onboard programs verification support // Proceedings of The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011). — 2011. —
  • 2 KALENTEV A.A., TYuGAShEV A.A., Bogatov A.Yu. Visual toolset for real-time onboard programs verification support // The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011). — 2011. —