251 | -- | 260 | Elena N. Bozhenkova, Irina B. Virbitskaite. Testing Equivalences of Time Petri Nets |
261 | -- | 272 | Igor S. Anureev, Natalya Olegovna Garanina, Tatiana V. Lyakh, Andrei S. Rozov, Vladimir E. Zyubin, Sergei P. Gorlatch. Dedicative Verification of Reflex Programs |
273 | -- | 280 | Yury A. Zagorulko, Olesya I. Borovikova. Using a System of Heterogeneous Ontology Design Patterns to Develop Ontologies of Scientific Subject Domains |
281 | -- | 296 | N. I. V'yukova, V. A. Galatenko, S. V. Samborskii. Dynamic Program Analysis Tools in GCC and CLANG Compilers |
297 | -- | 304 | V. V. Sanzharov, Vladimir A. Frolov, Vladimir A. Galaktionov. Survey of Nvidia RTX Technology |