Contribution à la vérifiction d'exigences de sécurité : application au domaine de la machine industrielle
Les installations automatisées font maintenant couramment appel à des automates programmables pour traiter des fonctions assurant la sécurité des personnes. Ceci impose de prendre en compte la sûreté des logiciels intégrés dans ces automates, donc…
Ressources
Recherche