Méthodes formelles pour l'analyse statistique et la compilation/ sous la direction
de Sandrine Blazy. - Paris : Lavoisier, 2011. - 1 vol. (366-470 p.) : ill., graph.,
tabl., couv. ill. en coul. ; 24 cm. - Numéro de: "Revue des sciences et technologies
de l'information: technique et science informatiques", ISSN 0752-4072, (2011) n°4
vol. 30. - Bibliogr. en fin d'articles. Notes bibliogr..
Protections vérifiées formellement par ordinateur contre les attaques par canaux auxiliaires
basées sur le temps / Swarn Priya ; sous la direction de Yves Bertot. Thèse de doctorat
: Informatique : Université Côte d'Azur : 2023
Information trouvée : rapportrice de thèse et membre du jury