TY  - RPRT
TI  - K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs
AU  - Kun Wang
AU  - Jingyi Wang
AU  - Christopher M. Poskitt
AU  - Xiangxiang Chen
AU  - Jun Sun
AU  - Peng Cheng
PY  - 2023
DO  - 10.1109/tse.2023.3315292
UR  - https://arxiv.org/abs/2202.04076
ID  - 2202.04076
ER  -