Blog JUIN 2021 Modélisation des structures de données dynamiques avec la méthode B Un nouvel article est disponible sur le blog Systerel ! Il présente la « Modélisation des structures de données dynamiques avec la méthode B ». Blog MARS 2021 Blog Systerel : Multi-Agent Smart Solver Un nouvel article est disponible sur le blog Systerel ! « Multi-Agent Smart Solver ». Blog FEVRIER 2021 Un aperçu de la technologie GPR Un nouvel article est disponible sur le blog Systerel ! « Un aperçu de la technologie GPR ». Blog DECEMBRE 2020 Blog : nouvel article ! Un nouvel article est disponible sur le blog Systerel ! « Certificate trust chain validation in OPC UA » Blog Juin 2020 Nouvel article sur le blog ! Un nouvel article est disponible sur le blog Systerel : démarche de portage d’un « legacy » Ada.
Blog JUIN 2021 Modélisation des structures de données dynamiques avec la méthode B Un nouvel article est disponible sur le blog Systerel ! Il présente la « Modélisation des structures de données dynamiques avec la méthode B ».
Blog MARS 2021 Blog Systerel : Multi-Agent Smart Solver Un nouvel article est disponible sur le blog Systerel ! « Multi-Agent Smart Solver ».
Blog FEVRIER 2021 Un aperçu de la technologie GPR Un nouvel article est disponible sur le blog Systerel ! « Un aperçu de la technologie GPR ».
Blog DECEMBRE 2020 Blog : nouvel article ! Un nouvel article est disponible sur le blog Systerel ! « Certificate trust chain validation in OPC UA »
Blog Juin 2020 Nouvel article sur le blog ! Un nouvel article est disponible sur le blog Systerel : démarche de portage d’un « legacy » Ada.
