Category Methods for Analysis of Two Approaches to Modelling Logical Time Based on Concept of Clocks.
Proceedings of the 14th International Conference on ICT in Education, 2018
Category Methods for Modelling Logical Time Based on the Concept of Clocks.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2018
Two Approaches to Modelling Logical Time in Cyber-Physical Systems.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2017
Logical Time Models to Study Cyber-Physical Systems.
Proceedings of the 13th International Conference on ICT in Education, 2017