Nous publions ce mémoire de fin d'études qui aborde une problématique centrale pour les systèmes automatiques industriels critiques. Auteur: Haniel Moreira...
![Vérification formelle de programmes automates avec la méthode B](https://www.atelierb.eu/wp-content/uploads/2013/06/cover-haniel-plc.jpg)
Nous publions ce mémoire de fin d'études qui aborde une problématique centrale pour les systèmes automatiques industriels critiques. Auteur: Haniel Moreira...