Robotique

Improving large-sized PLC programs verification using abstractions

Publié le 7 juillet 2008 - 17th IFAC World Congress, Seoul (Korea)

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