Vol. 46, No. 4, 2020
Testing Equivalences of Time Petri Nets
p. 251 abstract
Dedicative Verification of Reflex Programs
p. 261 abstract
Using a System of Heterogeneous Ontology Design Patterns to Develop Ontologies of Scientific Subject Domains
p. 273 abstract
Dynamic Program Analysis Tools in GCC and CLANG Compilers
p. 281 abstract
Survey of Nvidia RTX Technology
p. 297 abstract