Kirill Rukkas

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 2

Top Topics

Power Consumption

Complete Axiomatization

Software Environment

Top Venues

Publications

Kirill Rukkas, Piotr Gaj
Analysis of time management models in AGV wireless communication. BigData (2023)
Bogdan Chornomaz, Kirill Rukkas, Kseniia Troino
A Complete Axiomatization for Reduced Clock Constraint Specification Language. ICTERI (2016)