Accueil |
Actualité |
Société |
Activités |
Secteurs |
Supports Commerciaux |
Nos Projets |
Conférences |
Nos Produits et Formations |
Nos Valeurs |
Recrutement |
Newsletter |
Contacts |
Plan du Site
|
Maîtrise des Risques et Sûreté de Fonctionnement
Conférence Lambda Mu 15 à Lille du 9 au 12 octobre 2006
Clearsy y tenait un stand et a présenté l'article Utilisation de la méthode formelle B pour un système SIL3 : la commande des portes palières sur la ligne 13 du métro Parisien", un texte co-écrit par Clearsy et la RATP à l'occasion du Lambda Mu 15.
Une maquette du système était en démonstration sur notre stand.
Pour découvrir plus de posters...
En présentation sur notre stand :
- CompoSys : nouvel outil de Modélisation de Systèmes
- Brama: nouvel outil d'animation de spécifications formelles de Systèmes
- Coppilot : démonstration du système SIL 3 de contrôle commande des portes palières du métro ligne 13
