DIGITALIZATION TRENDS OF AGRICULTURAL ENTERPRISES IN UKRAINE

Autor: Tarasyuk Anton, Gamaliy Volodymyr

Publikováno v: Herald of Kyiv National University of Trade and Economics. 139:72-85

Background. Agriculture is a leader in the export of our country,butthere is no comprehensive systemic approach in Ukraine and in the world to the development of enterprises in this industry based on the use of information technology in terms of the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::ab08185893f169b62f49f2d25966cda5
https://doi.org/10.31617/visnik.knute.2021(139)05

The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation.

Autor: Tarasyuk, Anton, Pereverzeva, Inna, Troubitsyna, Elena, Latvala, Timo

Publikováno v: Collaboration & Technology: 21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, Proceedings; 2015, p29-43, 15p

Formal Development and Quantitative Assessment of a Resilient Multi-robotic System.

Autor: Tarasyuk, Anton, Pereverzeva, Inna, Troubitsyna, Elena, Laibinis, Linas

Publikováno v: Software Engineering for Resilient Systems (9783642408939); 2013, p109-124, 16p

Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B.

Autor: Tarasyuk, Anton, Troubitsyna, Elena, Laibinis, Linas

Publikováno v: Integrated Formal Methods (9783642307287); 2012, p237-252, 16p