| Russian | English |
| Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели | Certainly, most of the research on continuous-time model checking is based on this model (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| большая часть исследований по верификации с непрерывным временем | most of the research on continuous-time model checking (ssn) |
| значительные исследования и публикации по сетям Петри | considerable research and publication on Petri nets (ssn) |
| исследования по искусственному интеллекту, проводимые в середине двадцатого столетия | classical AI in mid-twentieth century (ssn) |
| исследования по объектно-ориентированному программированию | object-oriented programming research (Alex_Odeychuk) |
| источник значительных исследований и публикаций по сетям Петри | source of considerable research and publication on Petri nets (ssn) |
| научные исследования в сфере разработки программного обеспечения с особыми требованиями по технической безопасности | research in the area of safety-critical software development (Alex_Odeychuk) |
| научные исследования в сфере разработки программного обеспечения с особыми требованиями по функциональной безопасности | research in the area of safety-critical software development (корпорации AdaCore Alex_Odeychuk) |
| Несмотря на сказанное, следует отметить, что этой теме посвящено большое количество теоретических работ, начиная от исследований по искусственному интеллекту, проводимых в середине двадцатого столетия, и заканчивая современными исследованиями | that said, there is a wealth of academic information on the subject, originating from classical AI in mid-twentieth century as well as recent research (см. AI Game Development: Synthetic Creatures with Learning and Reactive Behaviors / Alex J. Champandard 2003 ssn) |
| отчёт по исследованию комплексной эффективности | report on an end-to-end performance study (ssn) |
