Published 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 See the publication on HAL Prev. Back to the list Next