Work

Structural Synthesis of PLC Program for Real-Time Specification Patterns

Year: 2022

Type: article

Source: International Journal of Foundations of Computer Science

DOI: 10.1142/s0129054122420217

Authors: Kai Xie, Zijian Wei, Kang Yin, Songsong Li, Xinyan Yao, Xiaoyu Zhou

Institutions: Southeast University, State Grid Corporation of China (China)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4293801732

FWCI:

Cites: 15

Cited by:

Related to: 10