Selaus tekijän mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet

Viitteet 1-1 / 1

    • 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 ...