Robotique

Efficient representation for formal verification of PLC programs

Publié le 13 juillet 2006 - 8th International Workshop On Discrete Event Systems (WODES'06)

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