Robotique

An algebraic approach for PLC programs verification

Published on - 6th International Workshop on Discrete Event Systems (WODES'02)

Authors: Jean-Marc Roussel, Jean-Marc Faure