Déclinaison d'exigences de sécurité, du niveau système vers le niveau logiciel, assistée par des modèles formels / [présentée] par Sophie Humbert ; [sous la direction] de Dutuit Yves, Bosc Jean-Marc, Castel Charles

Date :

Editeur / Publisher : [s.l.] : [s.n.] , 2008

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Dutuit, Yves (Directeur de thèse / thesis advisor)

Bosc, Jean-Marc (Directeur de thèse / thesis advisor)

Castel, Charles (Directeur de thèse / thesis advisor)

Université Bordeaux-I (1971-2013) (Organisme de soutenance / degree-grantor)