Certification of critical software of computer systems

More works in this specialty

1. Development of a system for mathematical modeling of computer and telecommunication networks

   Yaroslavtsev, Aleksandr Fedorovich · 1996 · Candidate of Sciences

   • 05.13.16
2. Study of the dynamics of synchronous electric machines and electric circuits with nonlinear resistive elements by asymptotic, qualitative, and numerical methods

   Skubov, Dmitriy Yul'evich · 1996 · Doctor of Sciences

   • 05.13.16
3. Modeling of the operating modes of open-pit haul trucks

   Rebrin, Evgenii Iur'evich · 1995 · Candidate of Sciences

   • 05.13.16
4. Methods and means for computing shock spectra

   Gilevskiy, Stanislav Vikent'yevich · 1993 · Candidate of Sciences

   • 05.13.16
5. Computer-aided design of crushing flowsheets using expert systems

   Malysheva, Elena Yur'evna · 1993 · Candidate of Sciences

   • 05.13.16