Robotique

Towards automatic verification of ladder logic programs

Published on - IMACS-IEEE "CESA'03" : "Computational Engineering in Systems Applications"

Authors: Bohumir Zoubek, Jean-Marc Roussel, Martha Kwiatkowska