Archives

Également disponible en :

2023-12-04 14:22OVADO²® : second regard sur les données de configuration
2023-11-13 14:57Portons-nous bien
2023-09-29 11:16Chercher la petite bête
2023-03-17 16:07What did you Expect?
2023-01-05 12:23Securing IIoT communications using OPC UA PubSub and Trusted Platform Modules
2023-01-03 16:18Generating and verifying configuration data with OVADO²®
2022-11-08 11:21Back-to-back Testing
2022-11-03 13:14On a marché avec la lune
2022-06-30 19:00Un échafaudage pour le développement de vos applications Ada
2022-06-30 18:09Un code a les preuves du temps
2021-12-02 11:59On n’a pas tous les jours vingt ans…
2021-06-22 10:57Use of B method for dynamic structures in S2OPC
2021-03-05 00:00Multi-Agent Smart Solver (MASS)
2021-02-02 12:30Un aperçu de la technologie GPR
2020-11-26 17:20Certificate trust chain validation in OPC UA
2020-05-28 09:57Démarche de portage d’un « legacy » Ada
2020-02-20 17:24S2OPC : OPC UA libre et sécurisé
2020-01-27 10:33Publish-Subscribe Pattern 2/2
2020-01-27 10:30Publish-Subscribe Pattern 1/2
2020-01-14 14:10Mininet and Performance Evaluation
2019-12-19 10:44S3 Formal Verification Solution — Instanciated Systems (4/4)
2019-12-18 10:44S3 Formal Verification Solution — Workflows (3/4)
2019-12-17 10:44S3 Formal Verification Solution — Introduction (2/4)
2019-12-16 10:44S3 Formal Verification — Executive Summary (1/4)
2019-12-09 08:51Un jeu d’échec en Ada 2012
2019-12-03 17:10Ouverture du blog