Эквациональная характеристика формул ltl
Кораблин, Ю.П., Korablin, Yu.P., Шипов, А.А., Shipov, A.A.
Published in Международный журнал "Программные продукты и системы" (2015)
Published in Международный журнал "Программные продукты и системы" (2015)
Get full text
Journal Article
Метод ограничений верифицируемых моделей
Кораблин, Ю.П., Korablin, Yu.P., Шипов, А.А., Shipov, A.A.
Published in Международный журнал "Программные продукты и системы" (2015)
Published in Международный журнал "Программные продукты и системы" (2015)
Get full text
Journal Article
Study of physiological effects of weightlessness and artificial gravity in the flight of the biosatellite Cosmos-936
Gurovsky, N.N., Gazenko, O.G., Adamovich, B.A., Ilyin, E.A., Genin, A.M., Korolkov, V.I., Shipov, A.A., Kotovskaya, A.R., Kondratyeva, V.A., Serova, L.V., Kondratyev, Yu.I.
Published in Acta astronautica (1980)
Published in Acta astronautica (1980)
Get full text
Journal Article