Robotique

Efficient representation for formal verification of time performances of networked automation architectures

Published on - 17th IFAC World Congress

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