Découvrez 6 romans délicieusement horrifiques et tentez de les gagner...
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 !
Dernière réaction par Yannis Fardeau il y a 11 heures
Dernière réaction par RC de la Cluzze il y a 1 jour
Découvrez 6 romans délicieusement horrifiques et tentez de les gagner...
Alice a quatorze ans quand elle est hospitalisée : un premier roman foudroyant
Yeong-ju est l’heureuse propriétaire d’une nouvelle librairie, située dans un quartier résidentiel de Séoul...
Un moment privilégié avec l’auteur de la bande dessinée "Azur Asphalte" : attention, places limitées !