Mohamed Niang, Alexandre Philippot, François Gellot, Raphaël Coupat, Bernard Riera, Sébastien Lefebvre. Formal Verification for Validation of PSEEL's PLC Program. In Oleg Gusikhin, Kurosh Madani, editors, Proceedings of the 14th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2017, Madrid, Spain, July 26-28, 2017, Volume 1. pages 567-574, SciTePress, 2017. [doi]
Abstract is missing.