Publié Robotique FROM FAULT TREE ANALYSIS TO MODEL CHECKING OF LOGIC CONTROLLERS Publié le 4 juillet 2005 - 16th IFAC World Congress Auteurs : Israel Santiago Barragan, Jean-Marc Faure Voir la publication sur HAL Precedent Retour à la liste Suivant