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

    Tyugashev, Andrey A.

    • professor
    • Department of Power Plant Automatic Systems, professor
    • Department of Software Systems, 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. —