Robotique

Improving large-sized PLC programs verification using abstractions

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

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