Find Research outputs

Search results

• 2020

  Analysis of light components in pyrolysis products by comprehensive two-dimensional gas chromatography with PLOT columns

  Sholokhova, A. Y., Patrushev, Y. V., Sidelnikov, V. N. & Buryak, A. K., 1 Mar 2020, In : Talanta. 209, 6 p., 120448.

  Research output: Contribution to journal › Article › peer-review

  • Hydrocarbons
  • Gas chromatography
  • Pyrolysis
  • divinyl benzene
  • Liquids
  1 Citation (Scopus)

• Analysis of methane hydrate nucleation in water-in-oil emulsions: Isothermal vs constant cooling ramp method and new method for data treatment

  Shestakov, V. A., Sagidullin, A. K., Stoporev, A. S., Grachev, E. V. & Manakov, A. Y., 15 Nov 2020, In : Journal of Molecular Liquids. 318, 10 p., 114018.

  Research output: Contribution to journal › Article › peer-review

  • Methane
  • ramps
  • Emulsions
  • Hydrates
  • hydrates

• Analysis of Prolactin Receptor Expression in Breast Cancer Subtypes

  Kalinina, T. S., Kononchuk, V. V., Sidorov, S. V. & Gulyaeva, L. F., Jul 2020, In : Biochemistry (Moscow) Supplement Series B: Biomedical Chemistry. 14, 3, p. 266-271 6 p.

  Research output: Contribution to journal › Article › peer-review

• Analysis of Regular Accelerating Structures of a Linear Accelerator for the Injector of Siberian Photon Ring Source

  Grishina, K. A., Andrianov, A. V., Arsentyeva, M. V., Barnyakov, A. M., Levichev, A. E., Pivovarov, I. L. & Samoylov, S. L., 27 Feb 2020, In : Physics of Particles and Nuclei Letters. 17, 1, p. 65-72 8 p.

  Research output: Contribution to journal › Article › peer-review

  • Particle Accelerators
  • linear accelerators
  • injectors
  • Photons
  • Nuclear Physics

• Analysis of switching current data in KTA single crystals

  Akhmatkhanov, A. R., Chuvakova, M. A., Dolgushin, N. A., Kolker, D. B., Vedenyapin, V. N., Isaenko, L. I. & Shur, V. Y., 25 Apr 2020, In : Ferroelectrics. 559, 1, p. 1-7 7 p.

  Research output: Contribution to journal › Article › peer-review

  • Single crystals
  • single crystals
  • Chemical activation
  • activation
  • Polarization

• Analysis of the flow structure in the model of a microhydraulic turbine

  Shtork, S. I., Суслов, Д. А., Litvinov, I. V. & Gorelikov, E. Y., Sep 2020, In : Journal of Applied Mechanics and Technical Physics. 61, 5, p. 807-813 7 p.

  Research output: Contribution to journal › Article › peer-review

  • turbines
  • Flow structure
  • Turbines
  • Anemometers
  • Velocity distribution

• Analysis of the particle longitudinal motion during the injection process into the disk loaded traveling wave accelerating structure

  Arsentyeva, M. V., Berdnikov, K. N. & Levichev, A. E., Oct 2020, In : Journal of Instrumentation. 15, 10, P10015.

  Research output: Contribution to journal › Article › peer-review

  • Hamiltonians
  • traveling waves
  • Traveling Wave
  • Injection
  • Trajectories

• Analysis of the swirl number in a radial swirler

  Litvinov, I. V., Gorelikov, E. U., Suslov, D. A. & Shtork, S. I., 31 Mar 2020, Heat and Mass Transfer and Hydrodynamics in Swirling Flows, HMTHSF 2019: Proceedings of the 7th International Conference. Leontiev, A. I., Kuzma-Kichta, Y. A., Piralishvili, S. A., Veretennikov, S. V. & Evdokimov, O. A. (eds.). American Institute of Physics Inc., 040005. (AIP Conference Proceedings; vol. 2211).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  • guide vanes
  • Reynolds number
  • velocity distribution
  • anemometers
  • Strouhal number

• Analysis of water-gas system equilibria in Jurassic-Cretaceous reservoirs (by the example of the Yamal-Kara Depression)

  Novikov, D. A., Aug 2020, In : Russian Geology and Geophysics. 61, 8, p. 874-890 17 p.

  Research output: Contribution to journal › Article › peer-review

  • Jurassic
  • Cretaceous
  • gases
  • gas
  • water

• Analytical Control of Impurities and Active Ingredients in a (–)-Isopulegol Derivative with Highly Potent Analgesic Activity

  Lastovka, A. V., Fedeeva, V. P., Il’ina, I. V. & Salakhutdinov, N. F., 1 May 2020, In : Pharmaceutical Chemistry Journal. 54, 2, p. 190-194 5 p.

  Research output: Contribution to journal › Article › peer-review

  • Analgesics
  • Thiophenes
  • Stereoisomerism
  • Dehydration
  • Non-Narcotic Analgesics

• Analytical solution for self-induced motion of a helical vortex with a Gaussian core

  Okulov, V. L. & Fukumoto, Y., Jul 2020, In : Thermophysics and Aeromechanics. 27, 4, p. 481-488 8 p.

  Research output: Contribution to journal › Article › peer-review

  • Vortex
  • Analytical Solution
  • Vortex flow
  • vortices
  • Motion

• Analyzing a putative enhancer of optic disc morphology

  Babenko, V., Babenko, R. & Orlov, Y., 1 Oct 2020, In : BMC Genetics. 21, Suppl 1, 10 p., 73.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Optic Disk
  • Haplotypes
  • Intercellular Signaling Peptides and Proteins
  • Developmental Genes
  • Gene Expression
  1 Citation (Scopus)

• An annotated check-list of orthoptera of TUVA and Adjacent regions. Part 3. Suborder Caelifera (Acrididae: Gomphocerinae: Gomphocerini; Locustinae)

  Sergeev, M. G., Storozhenko, S. Y. & Benediktov, A. A., 1 Mar 2020, In : Far Eastern Entomologist. 402, p. 1-36 36 p., 1.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Chorthippus
  • Acrididae
  • Orthoptera
  • fauna
  1 Citation (Scopus)

• An approach for identification of ultrahigh energy extensive air showers with scintillation detectors at TAIGA experiment

  TAIGA Collaboration & Вайдянатан, А., Sep 2020, In : Journal of Instrumentation. 15, 9, 9 p., C09037.

  Research output: Contribution to journal › Article › peer-review

  • Extensive Air Showers
  • Scintillation counters
  • Scintillation
  • cosmic ray showers
  • scintillation

• An aqueous CaCl2 solution in the condenser/Evaporator instead of pure water: Application for the new adsorptive cycle "heat from Cold"

  Girnik, I. & Aristov, Y., Jun 2020, In : Energies. 13, 11, 11 p., 2904.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Evaporators
  • Heat
  • Water
  • Cycle
  • Calcium chloride
  2 Citations (Scopus)

• A narrow linewidth singly resonant PPLN OPO seeded by HeNe at 3390 nm for CH4 photoacoustic detection

  Erushin, E. Y., Boyko, A. A., Kostyukova, N. Y., Sherstov, I. V., Antipov, O. L. & Kolker, D. B., 2 Nov 2020, Proceedings - International Conference Laser Optics 2020, ICLO 2020. Institute of Electrical and Electronics Engineers Inc., 9285572. (Proceedings - International Conference Laser Optics 2020, ICLO 2020).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  • Optical parametric oscillators
  • Photoacoustic effect
  • parametric amplifiers
  • fans
  • Linewidth

• An Assay for the Activity of Base Excision Repair Enzymes in Cellular Extracts Using Fluorescent DNA Probes

  Kladova, O. A., Iakovlev, D. A., Groisman, R., Ishchenko, A. A., Saparbaev, M. K., Fedorova, O. S. & Kuznetsov, N. A., 1 Apr 2020, In : Biochemistry (Moscow). 85, 4, p. 480-489 10 p.

  Research output: Contribution to journal › Article › peer-review

  • DNA Probes
  • Fluorescent Dyes
  • DNA Repair
  • DNA Glycosylases
  • Assays
  1 Citation (Scopus)

• ANDDigest: a new web-based module of ANDSystem for the search of knowledge in the scientific literature

  Ivanisenko, T. V., Saik, O. V., Demenkov, P. S., Ivanisenko, N. V., Savostianov, A. N. & Ivanisenko, V. A., 14 Sep 2020, In : BMC Bioinformatics. 21, Suppl 11, p. 228 21 p., 228.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Literature
  • PubMed
  • Web-based
  • Search Engine
  • Ontology

• An Estimate of the Modulus of a Family of Curves on an Abstract Surface over a Cylinder

  Tryamkin, M. V., 1 Jan 2020, In : Mathematical Notes. 107, 1-2, p. 177-181 5 p.

  Research output: Contribution to journal › Article › peer-review
  2 Citations (Scopus)

• A new approach to estimating the prevalence of hereditary hearing loss: An analysis of the distribution of sign language users based on census data in Russia

  Romanov, G. P., Pshennikova, V. G., Lashin, S. A., Solovyev, A. V., Teryutin, F. M., Cherdonova, A. M., Borisova, T. V., Sazonov, N. N., Khusnutdinova, E. K., Posukh, O. L., Fedorova, S. A. & Barashkov, N. A., Nov 2020, In : PLoS ONE. 15, 11 November, p. e0242219 e0242219.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • sign language
  • Sign Language
  • census data
  • Russia
  • Audition

• A new beam element for the analysis of laminated composites based on the asymptotic splitting method

  Golushko, S., Gorynin, G. & Gorynin, A., 20 Nov 2020, In : Journal of Physics: Conference Series. 1666, 1, 012066.

  Research output: Contribution to journal › Conference article › peer-review

  Open Access

  • plane stress
  • composite materials
  • plane strain
  • stress tensors
  • elastic properties

• A New Bias Site for Epigenetic Modifications: How Non-Canonical GC Base Pairs Favor Mechanochemical Cleavage of DNA

  Semyonov, D. A., Eltsov, I. V. & Nechipurenko, Y. D., 1 Nov 2020, In : BioEssays. 42, 11, 8 p., 2000051.

  Research output: Contribution to journal › Article › peer-review

  • DNA Cleavage
  • Epigenomics
  • Base Pairing
  • Cytosine
  • DNA

• A New Bryozoan of the Genus Dianulites Eichwald from the Ordovician of Gorny Altai and the Russian Arctic

  Koromyslova, A. V. & Sennikov, N. V., 1 Sep 2020, In : Paleontological Journal. 54, 5, p. 514-523 10 p.

  Research output: Contribution to journal › Article › peer-review

  • bryozoan
  • Ordovician
  • archipelago
  • new species
  • lake

• A new class of exact solutions in the planar nonstationary problem of motion of a fluid with a free boundary

  Zhuravleva, E. N., Zubarev, N. M., Zubareva, O. V. & Karabut, E. A., Mar 2020, In : Theoretical and Mathematical Physics(Russian Federation). 202, 3, p. 344-351 8 p.

  Research output: Contribution to journal › Article › peer-review

  • free boundaries
  • Free Boundary
  • Exact Solution
  • Fluid
  • Capillarity

• A new continuum model for general relativistic viscous heat-conducting media

  Romenski, E., Peshkov, I., Dumbser, M. & Fambri, F., 1 May 2020, In : Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 378, 2170, 20 p., 20190175.

  Research output: Contribution to journal › Article › peer-review

  • Relativity
  • Transport Coefficients
  • Continuum Model
  • Non-equilibrium
  • conductors
  4 Citations (Scopus)

• A new Cu(I) iodide complex showing deep-red luminescence

  Artem′ev, A. V., Rakhmanova, M. I., Brylev, K. A. & Bagryanskaya, I. Y., 1 Jul 2020, In : Journal of Structural Chemistry. 61, 7, p. 1068-1071 4 p.

  Research output: Contribution to journal › Article › peer-review

  • Iodides
  • iodides
  • Luminescence
  • modules
  • Ligands

• A new Global Random Walk algorithm for calculation of the solution and its derivatives of elliptic equations with constant coefficients in an arbitrary set of points

  Sabelfeld, K. & Kireeva, A., Sep 2020, In : Applied Mathematics Letters. 107, 9 p., 106466.

  Research output: Contribution to journal › Article › peer-review

  • Elliptic Equations
  • Set of points
  • Random walk
  • Derivatives
  • Derivative
  4 Citations (Scopus)

• A new kernel-projective statistical estimator in the Monte Carlo method

  Mikhailov, G. A., Tracheva, N. V. & Ukhinov, S. A., 1 Dec 2020, In : Russian Journal of Numerical Analysis and Mathematical Modelling. 35, 6, p. 341-353 13 p.

  Research output: Contribution to journal › Article › peer-review

  • Monte Carlo method
  • Monte Carlo methods
  • Orthogonal Expansion
  • kernel
  • Estimator

• A New Method for Hierarchical Image Segmentation from Visual Designs

  Myznikov, P. & Huang, Y., Mar 2020, 2020 54th Annual Conference on Information Sciences and Systems, CISS 2020. Institute of Electrical and Electronics Engineers Inc., 9086192. (2020 54th Annual Conference on Information Sciences and Systems, CISS 2020).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  • Image segmentation
  • Computer vision
  • Websites
  • Semantics
  • Chemical analysis

• A New Nonlinear Optical Selenide Crystal AgLiGa₂Se₄ with Good Comprehensive Performance in Mid-Infrared Region

  Yelisseyev, A., Lobanov, S., Molokeev, M., Zhang, S., Pugachev, A., Lin, Z., Vedenyapin, V., Kurus, A., Khamoyam, A. & Isaenko, L., 16 Dec 2020, In : Advanced Optical Materials. 8 p.

  Research output: Contribution to journal › Article › peer-review

  • selenides
  • Laser damage
  • laser damage
  • yield point
  • Infrared radiation

• A new test for the Zipf's law

  Чебунин, М. Г., 2020.

  Research output: Contribution to conference › Abstract › peer-review

• An experimental investigation of the heat transfer dynamics during evaporation of a single liquid drop on a sapphire substrate

  Cheverda, V. V., Ponomarenko, T. G., Marchuk, I. V. & Karchevsky, A. L., 3 Dec 2020, In : Journal of Physics: Conference Series. 1677, 1, 012126.

  Research output: Contribution to journal › Conference article › peer-review

  Open Access

  • sapphire
  • heat transfer
  • evaporation
  • heat
  • impingement

• An experimental study and numerical simulation of horizontal flame spread over polyoxymethylene in still air

  Korobeinichev, O., Glaznev, R., Karpov, A., Shaklein, A., Shmakov, A., Paletsky, A., Trubachev, S., Hu, Y., Wang, X. & Hu, W., Jan 2020, In : Fire Safety Journal. 111, 9 p., 102924.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • flames
  • slabs
  • Pyrolysis
  • air
  • Computer simulation

• An experimental study of the influence of the earth’s magnetic field on the transient process in a geological environment

  Mogilatov, V., Potapov, V., Shein, A., Gurev, V. & Osipova, P., 2020, Saint Petersburg 2020 - Geosciences: Converting Knowledge into Resources. European Association of Geoscientists and Engineers, EAGE, (Saint Petersburg 2020 - Geosciences: Converting Knowledge into Resources).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  • Experimental Study
  • Deposits
  • Earth (planet)
  • Magnetic Field
  • Magnetic fields

• Anick complex, Hochschild cohomology, Hilbert and Poincare series of the Manturov (3,4)-group

  Alhussein, H., 24 Jul 2020, In : Journal of Algebra and its Applications. 2150134-1.

  Research output: Contribution to journal › Article › peer-review

  • Hilbert Series
  • Poincaré Series
  • Hochschild Cohomology
  • Algebra
  • Discrete Morse Theory

• An Improved Approximation Algorithm for the Coupled-Task Scheduling Problem with Equal Exact Delays

  Ageev, A. & Ivanov, M., 1 Jan 2020, Mathematical Optimization Theory and Operations Research - 19th International Conference, MOTOR 2020, Proceedings. Kononov, A., Khachay, M., Kalyagin, V. A. & Pardalos, P. (eds.). Springer Gabler, p. 265-273 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12095 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  • Task Scheduling
  • Approximation algorithms
  • Scheduling Problem
  • Approximation Algorithms
  • Scheduling

• An insight into the gas-phase inhibition mechanism of polymers by addition of triphenyl phosphate flame retardant

  Trubachev, S. A., Korobeinichev, O. P., Kostritsa, S. A., Kobtsev, V. D., Paletsky, A. A., Kumar, A. & Smirnov, V. V., 8 Dec 2020, International Conference on Physics and Chemistry of Combustion and Processes in Extreme Environments, ComPhysChem 20-21 and VI International Summer School "Modern Quantum Chemistry Methods in Applications". Azyazov, V. N. & Mebel, A. M. (eds.). American Institute of Physics Inc., 0033887. (AIP Conference Proceedings; vol. 2304).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  Open Access

  • flame retardants
  • flammability
  • polymethyl methacrylate
  • flames
  • phosphates

• An interaction of Zika virus envelope fragments with serum antibodies derived from subjects after flavivirus infections

  Shanshin, D. V., Bakulina, A. Y., Kazachinskaia, E. I., Pyankov, S. A., Ilyichev, A. A. & Scherbakov, D. N., 1 Jan 2020, In : Russian Journal of Infection and Immunity. 10, 1, p. 73-82 10 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Flavivirus Infections
  • Flavivirus
  • Antibodies
  • Serum
  • Dengue
  1 Citation (Scopus)

• An IR Inductive Xe Laser Pumped by Pulsed Longitudinal Induction Discharges

  Razhev, A. M., Churkin, D. S., Kargapol’tsev, E. S., Tkachenko, R. A. & Trunov, I. A., 1 Jul 2020, In : Bulletin of the Russian Academy of Sciences: Physics. 84, 7, p. 776-779 4 p.

  Research output: Contribution to journal › Article › peer-review

  • infrared lasers
  • xenon
  • induction
  • pumping
  • helium
  1 Citation (Scopus)

• Anisotropy of the in-plane g-factor of electrons in HgTe quantum wells

  Minkov, G. M., Ya Aleshkin, V., Rut, O. E., Sherstobitov, A. A., Dvoretski, S. A., Mikhailov, N. N. & Germanenko, A. V., 15 Feb 2020, In : Physical Review B. 101, 8, 9 p., 085305.

  Research output: Contribution to journal › Article › peer-review

  • Semiconductor quantum wells
  • Anisotropy
  • quantum wells
  • anisotropy
  • Electrons
  1 Citation (Scopus)

• Ankaramites of Gorny Altai: Mineralogical, petrographic, and petrochemical features of diopside porphyry basalts of the ust'-sema formation

  Khlif, N., Vishnevskiy, A. V. & Izokh, A. E., 1 Mar 2020, In : Russian Geology and Geophysics. 61, 3, p. 250-267 18 p.

  Research output: Contribution to journal › Article › peer-review

  • diopside
  • porphyry
  • basalt
  • clinopyroxene
  • plagioclase

• An MHD Model of an Incompressible Polymeric Fluid: Linear Instability of a Steady State

  Blokhin, A. M., Rudometova, A. S. & Tkachev, D. L., 1 Aug 2020, In : Journal of Applied and Industrial Mathematics. 14, 3, p. 430-442 13 p.

  Research output: Contribution to journal › Article › peer-review

  • Magnetohydrodynamics
  • Incompressible Fluid
  • Magnetic fields
  • Electrodes
  • Fluids

• Annealing induced structural and phase transitions in anodic aluminum oxide prepared in oxalic acid electrolyte

  Roslyakov, I. V., Kolesnik, I. V., Levin, E. E., Katorova, N. S., Pestrikov, P. P., Kardash, T. Y., Solovyov, L. A. & Napolskii, K. S., 15 Jan 2020, In : Surface and Coatings Technology. 381, 10 p., 125159.

  Research output: Contribution to journal › Article › peer-review

  • Oxalic Acid
  • oxalic acid
  • Oxalic acid
  • Aluminum Oxide
  • Electrolytes
  4 Citations (Scopus)

• Anode materials from MoS₂ and multilayered holey graphene for Li-ion batteries

  Stolyarova, S. G., Koroteev, V. O., Baskakova, K. I., Makarova, A. A., Okotrub, A. V. & Bulusheva, L. G., 2 Apr 2020, In : Fullerenes Nanotubes and Carbon Nanostructures. 28, 4, p. 328-334 7 p.

  Research output: Contribution to journal › Article › peer-review

  • Graphite
  • Graphene
  • electric batteries
  • graphene
  • Anodes
  3 Citations (Scopus)

• Anomalous Behavior of Heat Capacity in Ni₂(bdc)₂(dabco). Schottky Anomaly and Spin-Phonon Interaction

  Kozlova, S. G., Pishchur, D. P., Kompankov, N. B., Shayapov, V. R. & Samsonenko, D. G., 17 Sep 2020, In : Journal of Physical Chemistry C. 124, 37, p. 20222-20227 6 p.

  Research output: Contribution to journal › Article › peer-review

  • Specific heat
  • specific heat
  • anomalies
  • interactions
  • Ions

• Anomalous Decay of Quantum Resistance Oscillations of 2D Helical Electrons in Magnetic Field

  Abedi, S., Vitkalov, S. A., Mikhailov, N. N. & Kvon, Z. D., 12 May 2020, In : Scientific Reports. 10, 1, 14 p., 7875.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Magnetic Fields
  • Electrons
  • Temperature

• Anomalous errors of direct scattering transform

  Gelash, A. & Mullyadzhanov, R., 1 May 2020, In : Physical Review E. 101, 5, 12 p., 052206.

  Research output: Contribution to journal › Article › peer-review

  • Anomalous
  • Solitons
  • solitary waves
  • Scattering
  • Transform
  5 Citations (Scopus)

• Anomalous Ortho-to-Para Ratio of Nuclear Spin Isomers of H₂O at Low Temperatures

  Chapovsky, P. L. & Mamrashev, A. A., 1 Jan 2020, In : JETP Letters. 111, 2, p. 85-89 5 p.

  Research output: Contribution to journal › Article › peer-review

  • nuclear spin
  • isomers
  • fullerenes
  • molecules
  • temperature

• Anomalous sputtering of the lithium triborate single crystal surface by argon cluster ions

  Korobeishchikov, N. G., Nikolaev, I. V., Roenko, M. A., Yakovlev, V. V., Pelenovich, V., Fu, D. J. & Tosltogouzov, A., Sep 2020, In : Vacuum. 179, 5 p., 109555.

  Research output: Contribution to journal › Article › peer-review

  • Single crystal surfaces
  • Argon
  • crystal surfaces
  • Sputtering
  • Lithium

• An ontology-based approach to support formal verification of concurrent systems

  Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 Sep 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer Nature, p. 114-130 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  • Concurrent Systems
  • Formal Verification
  • Ontology
  • Avionics
  • Requirements