progr. |
научные исследования в сфере разработки программного обеспечения с особыми требованиями по технической безопасности (Alex_Odeychuk); научные исследования в сфере разработки программного обеспечения с особыми требованиями по функциональной безопасности (корпорации AdaCore Alex_Odeychuk) |