Archives
Également disponible en :
- Model Checking: Formal Modeling and Verification
- S2OPC 1.6.0 release
- Ada-mantium ou comment avoir une application fiable et sûre
- Les delta aggregates en △da₂₀₂₂
- De l’EN 50716, dernière-née des normes logicielles pour les applications ferroviaires sécuritaires
- A$_{da}$ la régulière
- S2OPC 1.5.1 release
- TermiNA
- Certification CSPN : le cas d’étude de S2OPC
- INI-tiation
- S2OPC 1.5.0 release
- Comment voir la matrice ?
- OVADO²® : second regard sur les données de configuration
- Portons-nous bien
- Chercher la petite bête
- What did you Expect?
- Securing IIoT communications using OPC UA PubSub and Trusted Platform Modules
- Generating and verifying configuration data with OVADO²®
- Back-to-back Testing
- On a marché avec la lune
- Un échafaudage pour le développement de vos applications Ada
- Un code a les preuves du temps
- On n’a pas tous les jours vingt ans…
- Use of B method for dynamic structures in S2OPC
- Multi-Agent Smart Solver (MASS)
- Un aperçu de la technologie GPR
- Certificate trust chain validation in OPC UA
- Démarche de portage d’un « legacy » Ada
- S2OPC : OPC UA libre et sécurisé
- Publish-Subscribe Pattern 2/2
- Publish-Subscribe Pattern 1/2
- Mininet and Performance Evaluation
- S3 Formal Verification Solution — Instanciated Systems (4/4)
- S3 Formal Verification Solution — Workflows (3/4)
- S3 Formal Verification Solution — Introduction (2/4)
- S3 Formal Verification — Executive Summary (1/4)
- Un jeu d’échec en Ada 2012
- Ouverture du blog