Techniques industrielles de modélisation formelle pour le transport

 
9782746232303: Techniques industrielles de modélisation formelle pour le transport

Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des calculs sur les flottants, etc. Dès la première mise en oeuvre des logiciels au sein d'un équipement, la RATP a mis en oeuvre les techniques formelles afin de démontrer que des impératifs de sécurité sont respectées par le logiciel. Cet ouvrage présente des exemples concrets de mise en oeuvre des techniques formelles (simulation, "model-checking", preuve) et des méthodes formelles (méthode B, SCADE) sur des projets de transport ferroviaire de type métro et grande-ligne (ligne classique, TGV, ERTMS, fret).

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Acheter D'occasion Afficher le livre

Frais de port : Gratuit
Vers France

Destinations, frais et délais

Ajouter au panier

Meilleurs résultats de recherche sur AbeBooks

1.

Jean-Louis Boulanger
Edité par Hermes Science Publications (2011)
ISBN 10 : 2746232308 ISBN 13 : 9782746232303
Ancien(s) ou d'occasion Quantité : 1
Vendeur
CENTRAL MARKET
(ANTIBES CEDEX, FR, France)
Evaluation vendeur
[?]

Description du livre Hermes Science Publications, 2011. État : D'occasion - Comme neuf. Livre comme neuf. Expédition en suivi postal. Brand new book. Tracking number per all orders. N° de réf. du libraire 9782746232303

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter D'occasion
EUR 248
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers France
Destinations, frais et délais