Systerel a utilisé la méthode formelle B et l'Atelier B pour le développement de sa solution open-source Safe and Secure Open Platform Communications (S2OPC),...
![Atelier B pour développer une implémentation OPC UA open source](https://www.atelierb.eu/wp-content/uploads/2021/08/robot-tesla-recadree.jpg)
Systerel a utilisé la méthode formelle B et l'Atelier B pour le développement de sa solution open-source Safe and Secure Open Platform Communications (S2OPC),...
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...
L'université de Nantes organise une conférence dédiée à la Méthode B. Elle se déroulera le 16 juin 2008, à la Cité Internationale des Congrès, dans la ville...