Techniques industrielles de modélisation formelle pour le transport

Jean-Louis Boulanger (Auteur)
voir tout
media/pim/TITELIVE/69_9782746232303_1_75.jpg
Techniques industrielles de modélisation formelle pour le transport
99,00€
Payer en 33€ ou 24.75€ sans frais En savoir +

Vendu et expédié par : Librinter

État : Neuf

en stock vendeur

Livraison 0.00€ à domicile dès le 00/00/00

Paiement 100%
sécurisé
Retour possible du
produit
Vendeur sélectionné
par Cultura

Coups de cœur Cultura

Tous les passeurs de culture peuvent partager leurs découvertes !
Tu as aimé ce produit ? Partage dès maintenant ton coup de coeur :

loader
loader
loader
loader
loader
loader
loader
loader

description

descriptif du fournisseur
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).
 
Techniques industrielles de modélisation formelle pour le transport

Techniques industrielles de modélisation formelle pour le transport

Jean-Louis Boulanger
On vous recommande avec votre achat
Techniques industrielles de modélisation formelle pour le transport

Techniques industrielles de modélisation formelle pour le transport

99,00€
+
voir mon panier

Découvrez aussi

Livre Informatique Livres universitaires Livre

Livres universitaires

Meilleures ventes : Livres universitaires • Nouveautés : Livres universitaires • Précommandes : Livres universitaires • Livre Sciences Politiques • Livre de Droit • Livre sur l'Entreprise • Livre sur l'Emploi • Livre Comptabilité et Finance ...

... Livre Informatique • Livre de Lettres et Linguistique • Livre Culture générale • Livre Médecine et Paramédical • Livre Gestion de patrimoine et finance • Livre BTS • Livres Universitaires IUT et DUT • Livres classes prépas grandes écoles ...

... Livres préparation aux concours • Livres universitaires d'occasion • Livres universitaires post bac et préparation concours

Livre

Meilleures ventes : Livre • Nouveautés : Livre • Précommandes : Livre • Livres Audio • Livres universitaires • Sport - Loisir - Nature • Livres scolaires • Livre Vie Pratique • Art - Culture - Société • Livres pour ados et jeunes adultes ...

... Mangas • Comics • BD • Romans littérature • Coups de cœur : Livre • Booktok • Meilleurs Livres 2022 • Livres à prix réduits • Les lectures qui font du bien • Livres d'occasion • Journée mondiale de l'environnement : notre sélection Livres ...

... Livres formation professionnelle • Biographies et autobiographies • Livre Actualité, Politique et Société • Livre Histoire et Géographie • Livres d'Art • Livre Sciences Humaines • Meilleurs livres 2023 • Livre tourisme et voyage ...

... Le meilleur du livre en 2024 • Livre Saint-Valentin • Auteurs • Des chats et des hommes • Livres Mythologie • Les livres à lire une fois dans sa vie • Livres VO • Policiers thrillers polars • SF Fantasy fantastique • Livres pass culture ...

... Accessoires de lecture • Meilleurs livres 2025

Produits similaires

Code Rousseau : De la route B (édition 2026) • Code Vagnon : Permis plaisance, option côtière (édition 2026) • Code Rousseau : Moto (édition 2025) • TOEIC ® : les tests officiels corrigés Nouvelle édition • Tout l'anglais aux concours - Concours écoles de commerce, d'ingénieur, Sciences Po et IEP (3e édition) ...

... Dictionnaire juridique politique economique et financier • Le guide visuel d'éducation financière : Devenez votre meilleur conseiller ! • Code de la route (édition 2026) • Angular : Développez vos applications web avec le framework JavaScript de Google (4e édition) ...

... Encyclopédie visuelle - 1400 dessins, croquis, pictos, crobards... au service de vos idées • L'intelligence artificielle expliquée : Des concepts de base aux applications avancées de l'IA • Code Vagnon : Permis plaisance, extension hauturière (édition 2026)

retour haut de page
retour haut de page
Réservez en ligne &
retirez en magasin sous 2h
Livraison gratuite en
magasin dès le lendemain
Paiement sécurisé en 3 ou
4 fois sans frais par carte bancaire
Retours gratuits
sous 30 jours

Réseaux sociaux

Newsletter

Veuillez saisir une adresse e-mail valide.
Par exemple : [email protected]

Félicitations, votre inscription a bien été prise en compte !

Vous pouvez à tout moment vous désinscrire via le lien de désabonnement présent dans la newsletter.
En savoir plus sur notre politique de protection des données personnelles, cliquez ici

Service clients

Numéro cristal : 09 86 86 02 93

Nos conseillers ont réponse à tout, enfin presque.
Contactez-les du lundi au samedi de 8h à 19h.