TY - JOUR AU - Hubacz, Marcin AU - Sadolewski, Jan AU - Trybus, Bartosz TI - Model i implementacja dwurdzeniowego sterownika programowalnego opartego na maszynie wirtualnej JO - Pomiary Automatyka Robotyka PY - 2024 KW - IEC 61131-3 KW - maszyna wirtualna KW - model formalny KW - plc DO - 10.14313/PAR_253/93 VL - 28 IS - 253 SP - 93 EP - 99 UR - https://www.par.pl/en/Yearbooks/2024/3-2024/Model-i-implementacja-dwurdzeniowego-sterownika-programowalnego-opartego-na-maszynie-wirtualnej M3 - http://dx.doi.org/10.14313/PAR_253/93 ER -