Xiao Litian

Litian Xiao

Information about the author Litian Xiao will soon be added to the site.
Found 1 papers in total
Semantic characterization of programmable logic controller programs
2012
PLC is widely used in the field of automatic control. To use formal methods to verify...
Papers per page: