We invite you to join the next session of the KriKTehS seminar
We invite you to join the next session of the KriKTehS seminar, which will be held on April 14, 2023 at 3:30 p.m. online. The topic of the seminar: methods and technologies of development and formal verification of railway ... ...
more