Sun Jiaguang

Jiaguang Sun

Information about the author Jiaguang Sun will soon be added to the site.
Found 2 papers in total
New strategies for reliability analysis of Programmable Logic Controllers
2012
Programmable Logic Controllers (PLC) are widely used in industry. Reliable PLC systems...
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: