Selaus tekijän mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet
-
A formal toolchain for model-based testing of PLC systems
Chariyarupadannayil Sudheerbabu, Gaadha (2021)Programmable logic controllers (PLCs) are programmable controller devices broadly used for industrial automation in industrial control systems. The correct functioning of such systems using PLCs is of utmost importance ...