K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs

Wang, Kun ; Wang, Jingyi ; Poskitt, Christopher M. ; Chen, Xiangxiang ; Sun, Jun ; Cheng, Peng

IEEE transactions on software engineering, 2023-10, Vol.49 (10), p.4796-4813 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível