Іздеу

Шығарылым
Атауы
Авторлар
Том 20, № 2 (2019)
Applying software-mathematical models of onboard equipment to develop onboard software
Lomaev Y., Ivanov I., Tolstykh A., Islentev E.
PDF
(Eng)
Том 22, № 1 (2021)
Multiversion model of software control systems for space vehicles with range of decision-making
Kartsan I., Efremova S.
PDF
(Rus) PDF
(Eng)
Том 21, № 3 (2020)
Mathematical model of reliability of information processing computer appliances for real-time control systems
Aab A., Galushin P., Popova A., Terskov V.
PDF
(Eng)
Том 21, № 2 (2020)
Applying software-mathematical models of onboard equipment to develop onboard software
Lomaev Y., Ivanov I., Tolstykh A., Islentev E.
PDF
(Eng)
Том 11, № 1 (2010)
Мain principles of communication and navigation satellites onboard software system testing and validation
Koltashev А.
PDF
(Rus)
Том 13, № 5 (2012)
RELIABILITY IMPROVEMENT OF COMPLEX NETWORKS SOFTWARE
Zhukov V., Sheenok D., Terskov V.
PDF
(Rus)
Том 15, № 1 (2014)
Development of the equivalent transformation of GERT-networks methods for multiversion software analysis
Kovalev D., Saramud M., Karaseva M., Nurgaleeva Y.
PDF
(Rus)
Том 13, № 1 (2012)
PROBLEMS OF OPTIMISATION OF SOFTWARE OF ON-BOARD RADIO-ELECTRONIC EQUIPMENT
Zharikov V., Pichkalev A.
PDF
(Rus)
Том 14, № 4 (2013)
THE DESIGN OF THE EXPERIMENT AND CREATION OF THE REGRESSION MODEL OF THE SPECIFIC IMPULSE LIQUID ROCKET ENGINE THRUST FROM 10 TO 420 N
Kolomentsev A., Khokhlov A.
PDF
(Rus)
Том 11, № 3 (2010)
The mam typesof redundancy that are used for design of navigation and communication satellites reliable operation software
Kondratev С., Shumakov N., Erohov P., Hohlova A., Koltashev A.
PDF
(Rus)
Том 13, № 4 (2012)
ANALYSIS OF PROBABILISTIC AND INTERIM CHARACTERISTICS OF FAULT TOLERANT SOFTWARE OF DISTRIBUTED COMPUTING SYSTEMS
Tsarev R., Shtarik A., Shtarik E., Kochergina M., Panfilova T.
PDF
(Rus)
Том 14, № 1 (2013)
Model of GERT-networks for different ways of usage of multi-version methodology
Kovalev I., Zelenkov P., Saramud M., Sidorova G., Brezitskaya V.
PDF
(Rus)
Том 11, № 3 (2010)
Computing algorithms dispatching and usein navigation and communication satellites on-board software
Kondratev C., Shumakov N., Koltashev A.
PDF
(Rus)
Том 15, № 2 (2014)
The system of formation of the composition multiversioned views of the software in real time
Solovyev E.
PDF
(Rus)
Том 20, № 1 (2019)
MATHEMATICAL MODELING OF THE TECHNOLOGICAL PROCESS OF IMPROVING THE QUALITY OF POLYMERIC PRODUCTS OF MACHINE-BUILDING PURPOSES
Larchenko A., Filippenko N., Livshits A.
PDF
(Rus)
Том 15, № 3 (2014)
Analysis of problems in the research area of software reliability: a lot of stages and architectural aspect
Kovalev I.
PDF
(Rus)
Том 18, № 1 (2017)
SOFTWARE SUPPORT FOR TESTING of large spacecraft REFLECTOR AND EVALUATION OF THE OPERATION PARAMETERS OF COMPONENT WEIGHT COMPENSATION SYSTEM
Kovalev I., Badanina J.
PDF
(Rus)
Том 10, № 3 (2009)
Modular decomposition modelsof technological control cycles software
Antamoshkin О., Nurgaleeva J., Usachev A.
PDF
(Rus)
Том 15, № 4 (2014)
Problems of software implementation of multiversioned views runtime of algorithms for data processing in control systems
Kovalev I.
PDF
(Rus)
Том 18, № 4 (2017)
RESEARCH INTO THE METHODS OF SOFTWARE PRODUCT DEVELOPING AND MAINTAINING
Abenova Z., Petrov M.
PDF
(Rus)
Том 10, № 1-2 (2009)
DIACOPTICS METHOD APPLICATION FOR SOFTWARE RELIABILITY ANALYSIS
Kolesov K.
PDF
(Rus)
Том 15, № 2 (2014)
Modifications to the standard ant colony algorithm for solving the problem of formation multiversioned views software
Kovalev D., Klimenko A., Soloviev E., Tueva E.
PDF
(Rus)
Том 16, № 3 (2015)
MODERNIZATION DIRECTIONS OF THE HARDWARE AND SOFTWARE OF «KRABIK-BM» RADIO NAVIGATION SYSTEM
Aleshechkin A., Feoktistov D.
Том 13, № 5 (2012)
COST ESTIMATION FOR MODERNIZATION OF CRITICAL RELIABILITY SYSTEMS SOFTWARE
Kukartsev V., Sheenok D.
PDF
(Rus)
Том 15, № 1 (2014)
Ant algorithm modification for the problem of multiversion software formation
Kovalev I., Karaseva M., Solovyev E.
PDF
(Rus)
Нәтижелер 25 - 1/25
Сыбырсөздер:
  • Негізгі сөздер тіркелімге сезімтал< / li>
  • Ағылшын предлогтары мен одақтары еленбейді
  • Әдепкі бойынша іздеу барлық негізгі сөздер үшін жасалады (агенс AND экспериенцер)
  • Белгілі бір терминді табу үшін OR қолданыңыз. білім беру OR оқыту
  • мысалы, күрделі сөз тіркестерін жасау үшін жақшаларды қолданыңыз. мұрағат ((журналдар OR конференциялар) NOT диссертациялар)
  • Нақты фразаны табу үшін, мысалы, тырнақшаларды қолданыңыз. "ғылыми зерттеулер"
  • сөзді - (сызықша) немесе not операторының көмегімен алып тастаңыз; мысалы. сұлулық байқауы< / em > немесе сұлулық байқауы< / em > < / li>
  • мысалы, нұсқа ретінде * қолданыңыз. ғылым* "ғылыми","ғылыми"және т. б. сөздерді қамтиды< / li> < / < / к-сі>

Осы сайт cookie-файлдарды пайдаланады

Біздің сайтты пайдалануды жалғастыра отырып, сіз сайттың дұрыс жұмыс істеуін қамтамасыз ететін cookie файлдарын өңдеуге келісім бересіз.< / br>< / br>cookie файлдары туралы< / a>