Technologies

Posts about technologies developed or used by Systerel.

RSS feed (technology, en)

Flux RSS (technique, fr)

Also available in:

Français (technique)

2025-04-24 17:18Model Checking: Formal Modeling and Verification
2024-05-23 18:06TermiNA
2024-04-10 14:36INI-tiation
2024-01-08 11:54Comment voir la matrice ?
2023-11-13 14:57Portons-nous bien
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
2021-06-22 10:57Use of B method for dynamic structures in S2OPC
2021-02-02 12:30An overview of the GPR technology
2020-11-26 17:20Certificate trust chain validation in OPC UA
2020-05-28 09:57Porting an Ada legacy software
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-09 08:51A “Chess Game” in Ada 2012?