S. Lampérière-Couffin, O. Rossi, Jean-Marc Roussel, Jean-Jacques Lesage. Formal validation of PLC programs: A survey. In 5th European Control Conference, ECC 1999, Karlsruhe, Germany, August 31 - September 3, 1999. pages 2170-2175, IEEE, 1999. [doi]
No references recorded for this publication.
No citations of this publication recorded.