iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/journals/tse/WangWPCSC23.rdf
Kun Wang et al.: K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs. (2023) journals/tse/WangWPCSC23 10.1109/TSE.2023.3315292 K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs. 6 Kun Wang 0023 1 Jingyi Wang 0004 2 Christopher M. Poskitt 3 Xiangxiang Chen 0002 4 Jun Sun 0001 5 Peng Cheng 0001 6 4796-4813 IEEE Trans. Software Eng. IEEE Trans. Software Eng. 49 10 2023 --10 provenance information for RDF data of dblp record 'journals/tse/WangWPCSC23' 2024-03-26T16:06:02+0100