Models of data flows and information systems on the transportation

1. Butakova M.A., Guda A.N., Gnadenberg V.S., “Formalnaya verifikatsiya vstroennogo programmnogo obespecheniya v informatsionno-upravlyayuschikh sistemakh na zheleznodorozhnom transporte”, Vestnik Rostovskogo gosudarstvennogo universiteta putei soobscheniya, 2012, № 4, 43–55
2. Butakova M.A., Luzhetskaya P.A., “Programmnyi kompleks modelirovaniya i generatsii telekommunikatsionnogo trafika”, V mire nauchnykh otkrytii, 2012, № 12.1, 169–186
3. Butakova M.A., Chubeiko S.V., “Imitatsionnoe modelirovanie protsessov vozniknoveniya oshibok dlya otsenki nadezhnosti programmnogo obespecheniya”, Izvestiya vysshikh uchebnykh zavedenii. Severo-Kavkazskii region. Tekhnicheskie nauki, 2012, № 5, 29–34
4. Butakova M.A., Guda A.N., Chubeiko S.V., “Modelirovanie i otsenka kachestva funktsionirovaniya setevogo programmnogo obespecheniya informatsionno-upravlyayuschikh sistem na transporte v usloviyakh predelnykh nagruzok”, Vestnik Donskogo gosudarstvennogo tekhnicheskogo universiteta, 11:6 (2011), 875–883
5. Butakova M.A., Guda A.N., Ternovoi V.S., “Algoritmy i programmnoe obespechenie dlya obnaruzheniya anomalii v telekommunikatsionnom trafike avtomatizirovannykh sistem upravleniya zheleznodorozhnym transportom metodami nelineinoi dinamiki”, Vestnik Rostovskogo gosudarstvennogo universiteta putei soobscheniya, 2011, № 3, 30–41

• Rostov State Transport University