Методология синтеза программно-математического обеспечения для память-ориентированных вычислительных систем реального времени: специальность 2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени доктора технических наук