Formal Specification and Code Generation of Programable Logic Controllers.

Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan

Browse the full ICECCS paper archive.