K-ST: A formal executable semantics of the structured text language for PLCs
Programmable Logic Controllers (PLCs) are responsible for automating process control in many industrial systems (e.g. in manufacturing and public infrastructure), and thus it is critical to ensure that they operate correctly and safely. The majority of PLCs are programmed in languages such as Struct...
Saved in:
| Main Authors: | , , , , , |
|---|---|
| 格式: | text |
| 語言: | English |
| 出版: |
Institutional Knowledge at Singapore Management University
2023
|
| 主題: | |
| 在線閱讀: | https://ink.library.smu.edu.sg/sis_research/8199 https://ink.library.smu.edu.sg/context/sis_research/article/9202/viewcontent/k_st_structured_text_tse23_av.pdf |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|