arXiv Computer Science: "K-ST: A Formal Executable Semantics of PLC Struct…" - CleverLibre Social

arXiv Computer Science @arxiv_cs@social.cleverlibre.org

K-ST: A Formal Executable Semantics of PLC Structured Text Language. (arXiv:2202.04076v1 [cs.PL]) http://arxiv.org/abs/2202.04076

Feb 10, 2022, 03:00 · · feed2toot · · ·

Sign in to participate in the conversation