СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков

=LDR  00000cx\\a22002053\\45\\
=001  BY-SEK-ar8014525
=005  20140926155739.9
=100  \\$a20140926arusy50\\\\\\ca0
=101  \\$achi$aeng
=102  \\$aCN
=120  \\$aba
=152  \\$apsbo$bBY-auth
=106  \\$a0
=200  \1$aЧэнь$bМ.$gМинсон$cавтоматизация
=340  \\$aДоктор наук (Ph.D., 2010). Адъюнкт-профессор Института разработки программного обеспечения при Восточно-Китайском педагогическом университете (информ. на 2014 г.).
=340  \\$aИсследования направлены на автоматизацию проектирования встроенных систем, разработку кибер-физических систем, методов моделирования и проверки программного обеспечения.
=400  \1$8ruseng$7ca0yba0y$aChen$bM.$gMingsong$cавтоматизация
=801  \0$aBY$bBY-HM0005$c20140926
=810  \\$aВалидация на системном уровне. Высокоуровневое моделирование и управление тестированием / Минсон Чэнь и др. ; перевод с английского Е. Б. Махияновой ; под ред. А. Н. Лапцева. — Москва, 2014.$bИнформация: 4 страница обложки, с. 16.
=999  \\$f25 cnb-nbo$t20140926