D. Macko

Network Tester: A Generation and Evaluation of Diagnostic Communication in IP Networks

J. Pullmann, D. Macko, 2018, 2018 16th International Conference on Emerging eLearning Technologies and Applications (ICETA).

Automated formal verification of the refined specification of digital systems in HSSL

D. Macko, L. Maron, 2016, 2016 International Conference on Emerging eLearning Technologies and Applications (ICETA).

IP networks diagnostic communication generator

D. Macko, K. Jelemenská, M. Procházka, 2017, 2017 15th International Conference on Emerging eLearning Technologies and Applications (ICETA).

Automated Evaluation of a Network Device Configuration

D. Macko, K. Jelemenská, Z. Csengódy, 2018, 2018 16th International Conference on Emerging eLearning Technologies and Applications (ICETA).

Exploration of the LoRa Technology Utilization Possibilities in Healthcare IoT Devices

D. Macko, A. Valach, 2018, 2018 16th International Conference on Emerging eLearning Technologies and Applications (ICETA).

Adoption of abstract power-management specification to FPGA-based design

D. Macko, 2016, 2016 International Conference on Emerging eLearning Technologies and Applications (ICETA).