共 50 条
- [21] The Imandra Automated Reasoning System (System Description) AUTOMATED REASONING, PT II, 2020, 12167 : 464 - 471
- [23] A simplified kinetic model for the COIL active medium HIGH ENERGY/AVERAGE POWER LASERS AND INTENSE BEAM APPLICATIONS V, 2011, 7915
- [24] Providing a Description of Processes in the Development of Automated Control Systems PROCEEDINGS OF THE 2021 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (ELCONRUS), 2021, : 2767 - 2770
- [26] KINETIC DESCRIPTION OF TRANSFER PROCESSES IN INERTIAL SYSTEMS OF READING ZHURNAL TEKHNICHESKOI FIZIKI, 1983, 53 (09): : 1839 - 1840
- [29] A KINETIC AND THERMODYNAMICAL DESCRIPTION OF NONLINEAR AND DISPERSIVE EVOLUTION PROCESSES PHYSICA D, 1987, 28 (1-2): : 239 - 239
- [30] Kinetic description of incubation processes under dynamic fracture Doklady Physics, 2007, 52 : 270 - 273