Techniques industrielles de modélisation formelle pour le transport

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.

Enregistré dans:
Détails bibliographiques
Autres auteurs : Boulanger Jean-Louis (Éditeur scientifique)
Format : Livre
Langue : français
Titre complet : Techniques industrielles de modélisation formelle pour le transport / sous la direction de Jean-Louis Boulanger
Publié : Paris : Hermès science publications , impr. 2011
Lavoisier
Description matérielle : 1 vol. (351 p.)
Collection : Informatique et systèmes d'information. Recherche, technologie, applications
Sujets :
B (méthode formelle)
Méthodes formelles (informatique) > Applications industrielles
Transports ferroviaires > Automatisation
Chemins de fer > Dispositifs de sécurité
Systèmes de transport intelligent

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 68B65 Prêt sans prolongation Disponible