Robotique

Towards automatic verification of ladder logic programs

Publié le 30 juin 2003 - IMACS-IEEE "CESA'03" : "Computational Engineering in Systems Applications"

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