Robotique

Improving large-sized PLC programs verification using abstractions

Published on - 17th IFAC World Congress, Seoul (Korea)

Authors: Vincent Gourcuff, Olivier de Smet, Jean-Marc Faure