Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=162148755.

Méthodes pour la validation de modèles formels pour la sûreté de fonctionnement et extension aux problèmes multi-physiques [Texte imprimé] / Romain Adeline ; sous la direction de Janette Cardoso et Christel Seguin

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2011

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Fiabilité -- Thèses et écrits académiques

Langages de programmation -- Thèses et écrits académiques

Cardoso, Janette (Directeur de thèse / thesis advisor)

Seguin, Christel (19..-....) (Directeur de thèse / thesis advisor)

Institut supérieur de l'aéronautique et de l'espace (Toulouse ; 2007-....) (Organisme de soutenance / degree-grantor)