Techniques
Articles relatifs aux techniques développées ou mises en œuvre par Systerel.
- 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
- Un aperçu de la technologie GPR
- Certificate trust chain validation in OPC UA
- Démarche de portage d’un « legacy » Ada
- Publish-Subscribe Pattern 2/2
- Publish-Subscribe Pattern 1/2
- Mininet and Performance Evaluation
- Un jeu d’échec en Ada 2012