1. 2019
  2. Object-Oriented Requirements: Reusable, Understandable, Verifiable

    Naumchev, A., 8 окт. 2019, Object-Oriented Requirements: Reusable, Understandable, Verifiable. стр. 150-162 13 стр. Chapter 12. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11771 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийглава/разделнаучнаяРецензирование

  3. Search for pair production of vectorlike quarks in the fully hadronic final state

    The CMS collaboration & Сковпень, Ю. И., 8 окт. 2019, в: Physical Review D. 100, 7, 072001.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  4. Towards an Anatomy of Software Requirements

    Meyer, B., Bruel, J-M., Ebersold, S., Galinier, F. & Naumchev, A., 8 окт. 2019, Towards an Anatomy of Software Requirements. стр. 10-40 31 стр. Chapter 2. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11771 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийглава/разделнаучнаяРецензирование

  5. VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)

    Naumchev, A., Sadovykh, A. & Ivanov, V., 8 окт. 2019, VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). Springer, стр. 351-363 13 стр. 30. (Software Technology: Methods and Tools; том 11771).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийглава/разделнаучнаяРецензирование

  6. Малогабаритный датчик угловых координат Солнца

    Пелемешко, А. В., Задорожный, А. М., Мелков, А. В., Часовских, В. В., Колесникова, А. Ю. & Баканов, С. С., 8 окт. 2019, IPC № G01C21/24, Роспатент - Федеральная служба по интеллектуальной собственности, Патент/Св-во № 192954, Дата приоритета 1 июл. 2019, № приоритета 2019120776

    Результаты исследований: Патенты/Свидетельства о регистрациипатент на полезную модель

  7. Стенд для ударных испытаний при воздействии горизонтальных нагрузок

    Брагин, О. А., Гореликов, Е. Ю., Пелемешко, А. В. & Прокопьев, В. Ю., 8 окт. 2019, IPC № G01M7/08, G01N3/32, Роспатент - Федеральная служба по интеллектуальной собственности, Патент/Св-во № 192945, Дата приоритета 1 июл. 2019, № приоритета 2019120775

    Результаты исследований: Патенты/Свидетельства о регистрациипатент на полезную модель

  8. Способ инактивации лекарственно чувствительных и лекарственно устойчивых штаммов Mycobacterium tuberculosis в экспериментальных условиях in vitro

    Никонов, С. Д., Бредихин, Д. А., Чередниченко, А. Г. & Петренко, Т. И., 9 окт. 2019, IPC № A61N5/067, A61P31/06, Роспатент - Федеральная служба по интеллектуальной собственности, Патент/Св-во № 2702646, Дата приоритета 20 дек. 2018, № приоритета 2018145230

    Результаты исследований: Патенты/Свидетельства о регистрациипатент на изобретение

  9. Evidence for light-by-light scattering and searches for axion-like particles in ultraperipheral PbPb collisions at sNN=5.02TeV

    The CMS collaboration, Блинов, В. Е. & Сковпень, Ю. И., 10 окт. 2019, в: Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 797, 27 стр., 134826.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  10. Excitation of the low-energy Th 229m isomer in the electron bridge process via the continuum

    Borisyuk, P. V., Kolachevsky, N. N., Taichenachev, A. V., Tkalya, E. V., Tolstikhina, I. Y. & Yudin, V. I., 10 окт. 2019, в: Physical Review C. 100, 4, 044306.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  11. Measurement of the CP-violating phase ϕs from Bs 0→J/ψπ+π decays in 13 TeV pp collisions

    The LHCb Collaboration, 10 окт. 2019, в: Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 797, 12 стр., 134789.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование