共 50 条
[22]
A Temporal Logic for Programmable Logic Controllers
[J].
Automatic Control and Computer Sciences,
2021, 55
:763-775
[30]
DESIGNING WITH PROGRAMMABLE LOGIC
[J].
IEE PROCEEDINGS-I COMMUNICATIONS SPEECH AND VISION,
1985, 132 (02)
:73-85