nx a22 3 45 298520346 http://www.idref.fr/298520346 20260827 20260827154812.000 315550001 315550001 Tp5 20260827afrey50 ba0 fre eng 639-2 FR 1998 0 1 0 ba AFNOR ba0yba0y f|xxx 0 Thierry Loic 1998-.... docteur en informatique et télécommunications ba0yba0y Auteur d'une thèse en Informatique et télécommunications à Université de Toulouse (2023-2025) en 2025 FR Abes 20260827 AFNOR Formal modeling of secure architecture within the positive perspective using Event-B / Loic Thierry ; sous la direction de Brahim Hamid et Jason Jaskolka. Thèse de doctorat : Informatique et télécommunications : Université de Toulouse (2023-2025) : 2025 Thierry, Loic (1998-.... ; docteur en informatique et télécommunications)