Published Robotique Efficient representation for formal verification of time performances of networked automation architectures Published on 7 July 2008 - 17th IFAC World Congress Authors: Silvain Ruel, Olivier de Smet, Jean-Marc Faure See the publication on HAL Prev. Back to the list Next