-
sité dédié à la méthode b. la méthode b évoque traditionnellement l'ensemble comprenant : le langage b, le raffinement, la preuve, et les outils associ ...
logiciel prouvé  methode-b  methode formelle  methode formelle b  modèle abstrait  système prouvé 
www.methode-b.com - 2009-02-11
-
Elta conçoit des équipements électroniques de pointe tels que du Matériel de transmission militaire et de l'équipement pour l'aéronautique, le transport ferro ...
ADT 406  analyseur physico-chimique  analyseurs physico-chimique  calculateur sécuritaire  calculateurs sécuritaires  fabrication onduleur  onduleur triphasé  VHAL2 
www.elta.fr - 2009-02-12
-
L'Offre Fersil présente le savoir-faire de ClearSy dans le domaine du développement de systèmes de sécurité ferroviaire
marché ferroviaire  normes sécuritaires  sécurité trains  systèmes sûrs ferroviaires  trafic ferroviaire 
www.fersil.fr - 2009-04-07
-
Le Projet Dof1 est un système de Commande d'Ouverture et de Fermeture du Métro Parisien Ligne 1. Développé par ClearSy, équipera 26 stations et 52 trains pour la ...
automatisation ligne 1  automatisation métro  dof1  dof1sil4  exploitation des trains  métro parisien  portes palieres  quai métro  système fiable  système sûr 
www.dof1.eu - 2009-03-09
-
EULEGO srl è un'impresa di ingegneria che si propone come partner commerciale per lo sviluppo, la verifica e la validazione di hardware e software safety ...
www.eulego.com - 2009-02-10
|
|
|