Robotique

Safety properties verification of ladder diagram programs

Publié le 31 mai 2002 - Journal Européen des Systèmes Automatisés (JESA)

Auteurs : Jean-Marc Roussel, Bruno Denis