Publié Robotique Efficient representation for formal verification of time performances of networked automation architectures Publié le 7 juillet 2008 - 17th IFAC World Congress Auteurs : Silvain Ruel, Olivier de Smet, Jean-Marc Faure Voir la publication sur HAL Precedent Retour à la liste Suivant