Design timed FSM with VHDL Moore pattern MA M³roshnyk, AS Shkil, EN Kulak, DY Rakhlis, AM M³roshnyk, ... Radio Electronics, Computer Science, Control, 137-148, 2020 | 7 | 2020 |
Ðàçðàáîòêà ìåòîäîâ îöåíêè ýôôåêòèâíîñòè ñèñòåì çàùèòû èíôîðìàöèè â ðàñïðåäåëåííûõ êîìïüþòåðíûõ ñèñòåìàõ ÂA ÊÐÛËÎÂÀ, ÀÍ ÌÈÐÎØÍÈÊ ²íôîðìàö³éíî-êåðóþ÷³ ñèñòåìè íà çàë³çíè÷íîìó òðàíñïîðò³, 2015 | 7 | 2015 |
Application of Six-Port for Distance Measurement N Miroshnyk, A., Zaichenko, O., Galkin, P., Miroshnyk, M., Zaichenko IEEE International Conference on Problems of Infocommunications Science and …, 2020 | 4 | 2020 |
Multiprobe microwave multimeter signals iterative processing O Zaichenko, M Miroshnyk, N Zaichenko, A Miroshnyk 2020 XXX International Scientific Symposium'Metrology and Metrology …, 2020 | 4 | 2020 |
Synchronizing sequences for verification of finite state machines M Miroshnyk, O Shkil, E Kulak, D Rakhlis, Y Pahomov, A Miroshnyk 2019 International Conference on Information and Telecommunication …, 2019 | 3 | 2019 |
Graphical Models for Defectoscopy of Dielectrics M Miroshnyk, O Zaichenko, A Miroshnyk, N Zaichenko 2023 XXXIII International Scientific Symposium Metrology and Metrology …, 2023 | 2 | 2023 |
Ñòðóêòóðíî-ïàðàìåòðè÷íà ³íäåêñíà ³äåíòèô³êàö³ÿ â àäàïòèâíèõ ñèñòåìàõ óïðàâë³ííÿ ðóõîìèìè îá'ºêòàìè ÁÒ Ñèòí³ê, ÀÌ Ì³ðîøíèê Óêðà¿íñüêèé äåðæàâíèé óí³âåðñèòåò çàë³çíè÷íîãî òðàíñïîðòó, 2023 | 2 | 2023 |
Assertion Based Design of Timed Finite State Machine A Shkil, A Miroshnyk, G Kulak, K Pshenychnyi 2021 IEEE East-West Design & Test Symposium (EWDTS), 1-4, 2021 | 2 | 2021 |
Verification of FPGA control systems by analyzing the correctness of state diagrams M Miroshnyk, A Shkil, E Kulak, D Rakhlis, I Filippenko, A Miroshnyk 2020 IEEE 11th International Conference on Dependable Systems, Services and …, 2020 | 2 | 2020 |
Testable design of control digital automatic machines M Miroshnyk, O Shkil, D Rakhlis, I Filippenko, E Kulak, A Miroshnyk 2020 IEEE 15th International Conference on Advanced Trends in …, 2020 | 2 | 2020 |
Óäîñêîíàëåííÿ ìîäåë³ òà ìåòîäó ñòðóêòóðíî¿ ³äåíòèô³êàö³¿ ïàðàìåòð³â ³íåðö³éíèõ îá'ºêò³â ÏÎ Êà÷àíîâ, ÁÒ Ñèòí³ê, ÀÌ Ì³ðîøíèê Óêðà¿íñüêèé äåðæàâíèé óí³âåðñèòåò çàë³çíè÷íîãî òðàíñïîðòó, 2024 | 1 | 2024 |
Synthesis of Temporal Machines with Operational Transformation of State Codes M Miroshnyk, O Zaichenko, A Miroshnyk, N Zaichenko 2021 XXXI International Scientific Symposium Metrology and Metrology …, 2021 | 1 | 2021 |
Ñèíòåç àïàðàòíèõ òà ïðîãðàìíèõ çàñîá³â àäàïòèâíèõ äèñêðåòíèõ ñèñòåì óïðàâë³ííÿ âèñîêîãî ïîðÿäêó íà îñíîâ³ ìîäåë³ áàæàíîãî ïåðåõ³äíîãî ïðîöåñó ãàðàíòîâàíîãî ñòóïåíÿ ñò³éêîñò³ Ï Êà÷àíîâ, Á Ñèòíèê, À ̳ðîøíèê ³ñíèê Íàö³îíàëüíîãî òåõí³÷íîãî óí³âåðñèòåòó" Õϲ". Ñåð³ÿ: Iíôîðìàòèêà i …, 2024 | | 2024 |
Óäîñêîíàëåííÿ ìîäåëåé òà ìåòîä³â àíàë³çó ³ ñèíòåçó ñèñòåì ëîã³÷íî-äèíàì³÷íîãî óïðàâë³ííÿ ñêëàäíèìè ðóõîìèìè îá'ºêòàìè ÀÌ Ì³ðîøíèê Íàö³îíàëüíèé òåõí³÷íèé óí³âåðñèòåò" Õàðê³âñüêèé ïîë³òåõí³÷íèé ³íñòèòóò", 2024 | | 2024 |
Ìåòîäè ïîáóäîâè òåñò³â äëÿ ³íòåðàêòèâíèõ êîìï’þòåðíèõ ìåðåæ íà ñòðóêòóðíî-ëîã³÷íîìó ð³âí³ ÌÀ ̳ðîøíèê, ÎÑ Øê³ëü, ÄÞ Ðàõë³ñ, ÀÌ Ì³ðîøíèê, ÄÀ Ëîáîé÷åíêî ³ñíèê Íàö³îíàëüíîãî òåõí³÷íîãî óí³âåðñèòåòó" Õϲ". Ñåð³ÿ: Iíôîðìàòèêà i …, 2023 | | 2023 |
Overview of the modern SoC design technologies and open softprocessor architectures VK Miroshnik À.Ì. Miroshnik Ì.À., Shkil O.S., Inna Filippenko 13th International IEEE Conference Dependable Systems, Services and …, 2023 | | 2023 |
TEMPORAL EVENTS PROCESSING MODELS IN FINITE STATE MACHINES SOS Miroshnik À.Ì., Pshenihni K. Miroshnik Ì.À. Ðàä³îåëåêòðîí³êà, ³íôîðìàòèêà, óïðàâë³ííÿ / Radio Electronics, Computer …, 2023 | | 2023 |
Modeling Faults as Addresses V Hahanov, I Hahanov, A Miroshnyk, A Shkil, D Rakhlis, I Hahanova 2023 IEEE East-West Design & Test Symposium (EWDTS), 1-7, 2023 | | 2023 |
ÀÂÒÎÌÀÒÈÇÎÂÀÍÀ ÑÈÑÒÅÌÀ ÐÅÃÓËÞÂÀÍÍß Ð²ÂÍß ÏÐÈÐÎÄÍÎÃÎ ÎѲÒËÅÍÍß Ó ÏÐÈ̲ÙÅÍͲ ÊѲ Ï.Î. Êà÷àíîâ, À.Í. ̳ðîøíèê, àñ. Äåìåíêîâà Ñ.Ä., àñï. Ñàëôåòíèêîâà Þ.Ì. ÏÈÌ-2023, 56-57, 2023 | | 2023 |
̲ÊÐÎÊÎÍÒÐÎËÅÐÍÈÉ ÄÅÒÅÊÒÎÐ ÍÀßÂÍÎÑÒ² ÏÈËÓ Ó ÏβÒв ÂÂÁ Ï.Î. Êà÷àíîâ, Â.À. Êðèëîâà, À.Í. ̳ðîøíèê ÏÈÌ-2023, 10-11, 2023 | | 2023 |