Click on the title to view the text:
Salimova, Tatiana; Vuković, Natalia; Guskova, Nadezhda; and Krakovskaya, Irina
Industry 4.0 and Society 5.0: Challenges and Opportunities, The Case Study of Russia Mathematical Model Checking Based on Semantics and SMT