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 ».

Méthodes Formelles
Novembre 2015

Séminaire Dagstuhl

Systerel participe du 15 au 20 novembre prochains au séminaire Dagstuhl 15471 consacré à la fertilisation croisée entre calcul symbolique et vérification de satisfiabilité.

Carrières
Octobre 2015

Systerel recrute !

Systerel recrute !

Systerel recherche de nouveaux collaborateurs motivés par les challenges techniques au sein d’une structure à taille humaine.