Follow
̳ðîøíèê Àíàòîë³é Ìèêîëàéîâè÷
̳ðîøíèê Àíàòîë³é Ìèêîëàéîâè÷
Other namesMiroshnyk Anatolii
ÕÍÓÐÅ, Àâòîìàòèçàö³ÿ ïðîåêòóâàííÿ îá÷èñëþâàëüíî¿ òåõí³êè, ÀÏÎÒ
Verified email at nure.ua
Title
Cited by
Cited by
Year
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
72020
Ðàçðàáîòêà ìåòîäîâ îöåíêè ýôôåêòèâíîñòè ñèñòåì çàùèòû èíôîðìàöèè â ðàñïðåäåëåííûõ êîìïüþòåðíûõ ñèñòåìàõ
ÂA ÊÐÛËÎÂÀ, ÀÍ ÌÈÐÎØÍÈÊ
²íôîðìàö³éíî-êåðóþ÷³ ñèñòåìè íà çàë³çíè÷íîìó òðàíñïîðò³, 2015
72015
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
42020
Multiprobe microwave multimeter signals iterative processing
O Zaichenko, M Miroshnyk, N Zaichenko, A Miroshnyk
2020 XXX International Scientific Symposium'Metrology and Metrology …, 2020
42020
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
32019
Graphical Models for Defectoscopy of Dielectrics
M Miroshnyk, O Zaichenko, A Miroshnyk, N Zaichenko
2023 XXXIII International Scientific Symposium Metrology and Metrology …, 2023
22023
Ñòðóêòóðíî-ïàðàìåòðè÷íà ³íäåêñíà ³äåíòèô³êàö³ÿ â àäàïòèâíèõ ñèñòåìàõ óïðàâë³ííÿ ðóõîìèìè îá'ºêòàìè
ÁÒ Ñèòí³ê, ÀÌ Ì³ðîøíèê
Óêðà¿íñüêèé äåðæàâíèé óí³âåðñèòåò çàë³çíè÷íîãî òðàíñïîðòó, 2023
22023
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
22021
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
22020
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
22020
Óäîñêîíàëåííÿ ìîäåë³ òà ìåòîäó ñòðóêòóðíî¿ ³äåíòèô³êàö³¿ ïàðàìåòð³â ³íåðö³éíèõ îá'ºêò³â
ÏÎ Êà÷àíîâ, ÁÒ Ñèòí³ê, ÀÌ Ì³ðîøíèê
Óêðà¿íñüêèé äåðæàâíèé óí³âåðñèòåò çàë³çíè÷íîãî òðàíñïîðòó, 2024
12024
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
12021
Ñèíòåç àïàðàòíèõ òà ïðîãðàìíèõ çàñîá³â àäàïòèâíèõ äèñêðåòíèõ ñèñòåì óïðàâë³ííÿ âèñîêîãî ïîðÿäêó íà îñíîâ³ ìîäåë³ áàæàíîãî ïåðåõ³äíîãî ïðîöåñó ãàðàíòîâàíîãî ñòóïåíÿ ñò³éêîñò³
Ï Êà÷àíîâ, Á Ñèòíèê, À ̳ðîøíèê
³ñíèê Íàö³îíàëüíîãî òåõí³÷íîãî óí³âåðñèòåòó" Õϲ". Ñåð³ÿ: 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
The system can't perform the operation now. Try again later.
Articles 1–20