1. Testing Equivalences of Time Petri Nets

   • E. N. Bozhenkova
   • I. B. Virbitskaite

   OriginalPaper 08 August 2020 Pages: 251 - 260

   

2. Dedicative Verification of Reflex Programs

   • I. S. Anureev
   • N. O. Garanina
   • S. P. Gorlatch

   OriginalPaper 08 August 2020 Pages: 261 - 272

   

3. Using a System of Heterogeneous Ontology Design Patterns to Develop Ontologies of Scientific Subject Domains

   • Yu. A. Zagorulko
   • O. I. Borovikova

   OriginalPaper 08 August 2020 Pages: 273 - 280

   

4. Dynamic Program Analysis Tools in GCC and CLANG Compilers

   • N. I. V’yukova
   • V. A. Galatenko
   • S. V. Samborskii

   OriginalPaper 08 August 2020 Pages: 281 - 296

   

5. Survey of Nvidia RTX Technology

   • V. V. Sanzharov
   • V. A. Frolov
   • V. A. Galaktionov

   OriginalPaper 08 August 2020 Pages: 297 - 304