Conférences
novembre 2016

Séminaire à Shonan

Systerel est invitée à un séminaire de recherche au Japon sur la thématique du projet IMPEX : Intégration des sémantiques implicite et explicite dans les développements de systèmes discrets fondés sur la preuve.

Conférences
novembre 2016

Event-B Day

Systerel a participé à la journée Event-B organisée par le NII (National Institute of Informatics) le 21 novembre à Tokyo.

Conférences
septembre 2016

International Workshop FMICS-AVoCS

Systerel participe au workshop commun FMICS et AVoCS du 26 au 28 septembre à Pise.
FMICS : Formal Methods for Industrial Critical Systems
AVoCS : Automated Verification of Critical Systems

Conférences
juin 2016

Conférence internationale RSSR

Systerel a participé à la conférence RSSR à la maison de la RATP du 28 au 30 juin.
La solution de vérification formelle Systerel Smart Solver a été présentée : description, apports et applications de cet outil éprouvé industriellement dans le cadre de vérification de sécurité de systèmes ferroviaires.

Conférences
Mars 2016

TechnoDay 2016

Delta Technologies Sud-Ouest, filiale du Groupe Systerel, participe au TechnoDay Aerospace Valley le 31 mars prochain à Pau. Delta Technologies Sud-Ouest a été retenue pour exposer son produit innovant « CLEMATIS » : Cabin Interface Management (CIM), un système de pilotage des périphériques cabine d’avions d’affaires développé pour la société SELA.

Conférences
janvier 2016

Le Groupe Systerel à ERTS 2016

Systerel & Delta Technologies participent du 27 au 29 janvier à Toulouse à ERTS 2016.
Dans le cadre des conférences, un expert Systerel intervient sur la thématique « Industrial Grade Model Checking ».