Structural Coverage Analysis of Entry and Exit Points Required to Achieve the Objectives Defined in DO-178C

Autor: V. P. Kozyrev

Publikováno v: Programming and Computer Software. 48:256-264

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::640588ea8400f34849ac94e4597bcaa2
https://doi.org/10.1134/s036176882204003x

Estimation of the execution time in real-time systems

Autor: V. P. Kozyrev

Publikováno v: Programming and Computer Software. 42:41-48

Estimation of the worst-case execution time (WCET) of programs is an important problem for the development of real-time systems. In particular, the estimation of the WCET is a goal in the verification of aeronautical software specified in DO-178B/C.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c0c4b8e9d426421bebcdf60c30a26e84
https://doi.org/10.1134/s0361768816010059

G

Autor: A. F. Kharshiladze, D. V. Alekseevskiĭ, N. N. Vorob’ev, V. A. Trenogin, A. Z. Petrov, D. D. Sokolov, E. A. Nisnevich, A. I. Skopin, S. P. Demushkin, V. P. Platonov, O. A. Ivanova, L. A. Skornyakov, I. V. Dolgachev, M. M. Postnikov, K. I. Beĭdar, A. V. Mikhalev, B. A. Sevast’yanov, E. B. Yanovskaya, V. K. Domanskiĭ, A. N. Lyapunov, A. S. Mikhaĭlova, F. I. Ereshko, I. A. Vatel’, O. V. Sarmanov, A. V. Prokhorov, Yu. V. Prokhorov, L. P. Kuptsov, A. A. Dezin, Yu. I. Shokin, N. N. Yanenko, L. N. Sretenskiĭ, V. M. Tikhomirov, V. D. Kukin, Yu. D. Burago, D. P. Zhelobenko, M. K. Samarin, S. N. Chernikov, B. M. Bredikhin, V. V. Rumyantsev, N. S. Bakhvalov, V. P. Motornyĭ, S. A. Stepanov, L. N. Shevrin, A. P. Prudnikov, E. D. Solomentsev, R. L. Dobrushin, V. V. Prelov, E. V. Shikin, D. V. Anosov, E. A. Gorin, L. N. Bol’shev, N. Kh. Rozov, V. E. Plisko, A. V. Arkhangel’skiĭ, V. A. Iskovskikh, B. M. Levitan, A. V. Bitsadze, Yu. B. Rudyak, S. M. Nikol’skiĭ, G. L. Litvinov, V. S. Vladimirov, A. L. Shmel’kin, V. I. Ponomarev, P. K. Suetin, S. G. Kreĭn, V. I. Danilov, M. I. Voĭtsekhovskiĭ, A. Wörz-Busekros, G. E. Mints, Vik. S. Kulikov, A. S. Rapinchuk, V. I. Dmitriev, V. A. Zalgaller, Yu. A. Volkov, Yu. S. Slobodyan, V. F. Eremeev, M. I. Yurkina, V. M. Babich, E. G. Sklyarenko, P. S. Modenov, A. S. Parkhomenko, V. M. Kalinin, N. M. Ostianu, E. G. Poznyak, A. D. Aleksandrov, V. A. Toponogov, S. Z. Shefel’, A. V. Malyshev, E. M. Chirka, I. A. Kvasnikov, P. L. Ul’yanov, K. P. Latyshev, I. A. Shishmarev, V. L. Popov, G. V. Kuz’mina, E. N. Kuz’min, A. S. Fedenko, E. G. Goluzina, V. N. Grishin, A. A. Karatsuba, A. G. Dragalin, M. S. Nikulin, V. T. Bazylev, A. M. Nakhushev, A. K. Mitropol’skiĭ, A. V. Gladkiĭ, V. P. Kozyrev, V. B. Alekseev, A. A. Sapozhenko, A. A. Konyushkov, N. M. Nagornyĭ, A. L. Onishchik, N. V. Mitskevich, A. A. Bukhshtab, V. N. Nechaev, A. K. Gushchin, Sh. A. Alimov, V. A. Il’in, V. N. Plechko, L. D. Kudryavtsev, M. Sh. Tsalenko, I. A. Aleksandrov, P. M. Tamrazov, M. I. Kargapolov, Yu. I. Merzlyakov, A. A. Bovdi, A. I. Shtern, E. B. Vinberg, I. P. Egorov, V. M. Kopytov, V. D. Belousov, A. F. Leont’ev

Publikováno v: Encyclopaedia of Mathematics ISBN: 9780792329749

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c6ea148c48e712ef8f750458a5eb3f3b
https://doi.org/10.1007/978-1-4899-3795-7_5

Enumeration of shortest connecting nets with additional constraints

Autor: V. P. Kozyrev, A. V. Kozina

Publikováno v: Cybernetics. 10:1035-1042

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::733cab032e781578f08931094ebb0cb3
https://doi.org/10.1007/bf01069450

[Reconstruction of the automated ejector mine aspirator (AERA) for simultaneous collection of several samples of air]

Autor: G P, Galkov, S F, Pavlov, V P, Kozyrev

Publikováno v: Gigiena i sanitariia. 37(4)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pmid________::fc44e68adffeba35fa78d93ebed11f1f
https://pubmed.ncbi.nlm.nih.gov/5052194