Robotique

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

Publié le 28 mai 2008 - 9th International Workshop On Discrete Event Systems, WODES'08

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