Some Method of Behavioral Energy Testing of Distributed Computer Systems
O Martynyuk, O Drozd, B Van Thuong… - 2023 13th …, 2023 - ieeexplore.ieee.org
The method of behavioral energy-loaded testing considered in this paper are based on Petri
nets, extended by temperature and volt/ampere characteristics, and have the features of a …
nets, extended by temperature and volt/ampere characteristics, and have the features of a …
Model for Verification of Agent Commutations of Distributed Multiagent Systems
O Martynyuk, O Drozd, A Sachenko… - 2021 IEEE 4th …, 2021 - ieeexplore.ieee.org
The development of multi-agent technologies and their widespread implementation in
distributed computer systems is due to the properties of autonomy, mobility, intelligence and …
distributed computer systems is due to the properties of autonomy, mobility, intelligence and …