Robotique

Building effective formal models to prove time properties of networked automation systems

Published on - 9th International Workshop On Discrete Event Systems, WODES'08

Authors: Silvain Ruel, Olivier de Smet, Jean-Marc Faure