Rendez-vous le mercredi 16 octobre à 19h sur le site « Un endroit où aller »
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).
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Rendez-vous le mercredi 16 octobre à 19h sur le site « Un endroit où aller »
En 2024, ces auteurs et autrices nous émerveillent plus que jamais !
Des livres documentaires passionnants et ludiques pour les 7 à 11 ans
Ce road-movie intimiste est l'une des BD à ne pas manquer en cette rentrée